Définition de la logique et de la logique formelle

[Liet Kynes]

Bonjour à tous,

Merci pour ces enseignements.

Pour apprendre la logique pour la première fois, un bon livre est Introduction à la logique de Patrick Suppes.

Bien à vous.

Seb

Tu es HS mais tant qu'à faire autant citer une référence en français : la logique pas à pas par Jacques DUPARC
-----

[sebastien2023]

Bonjour à tous,

Selon l'astrophysicien et académicien Thibault Damour et selon le mathématicien et Médaille Fields Cédric Villani, le modèle cosmologique Janus est incohérent.

Selon l'ingénieur et astrophysicien Jean-Pierre Petit et selon d'autres ingénieurs ou mathématiciens ou physiciens, il ne l'est pas.

Cette controverse dure depuis 29 ans...

Source

##### lien supprimé

Sous cette vidéo, il y a une lettre et une pétition.

Bien à vous.

Seb

[sebastien2023]

Sur le web, on trouve des articles consacrés à des "controverses" de l'histoire des mathématiques.

Exemple

"Cependant l'activité mathématique est loin de se réduire à la recherche de démonstrations et à la vérification de celles-ci. La confiance que la communauté mathématique place dans un de ses membres qui propose un résultat nouveau intervient dans la réception qu'aura ce résultat, et ce d'autant plus s'il est inattendu ou modifie la façon de voir les choses. On peut prendre pour exemple historique les controverses sur les géométries non euclidiennes au xixe siècle, durant lequel les travaux de Lobatchevski ont été largement ignorés ; ou bien, dans un autre ordre d'idée, la difficulté de la réception des travaux du jeune républicain Galois au début du même siècle, notamment par Cauchy14. La sociologie des mathématiques étudie de tels phénomènes (voir sociologie des sciences).

D'autre part, la solidité même des bases ne peut reposer sur les seules mathématiques. En effet les théorèmes d'incomplétude, démontrés par Kurt Gödel dans la première moitié du xxe siècle, montrent que, contrairement à ce qu'espérait David Hilbert, il est impossible de réduire formellement les bases des mathématiques en un système dont la sûreté se démontre à partir de celles-ci, et cela entraîne que certaines propriétés considérées « vraies » resteront inaccessibles à la démonstration, quels que soient les axiomes choisis."

Source

https://fr.wikipedia.org/wiki/Math%C...ues#Fondements

[Liet Kynes]

Dans le nawak et les tentatives débiles pour faire passer des messages complotistes on a déjà vu du lourd mais toi tu choppes le record...

[gg0]

"le modèle cosmologique Janus" ?? Quel rapport avec les maths ?
Des modèles physique incohérents, il y en a depuis plus de 2500 ans.

[pm42]

"le modèle cosmologique Janus" ?? Quel rapport avec les maths ?

Oui, on se demande ce que ça vient faire ici. Et d'ailleurs, les deux derniers messages ont un coté sortis de nulle part sur le thème de "je vais vous expliquer ce que vous savez déjà".

[Deedee81]

Salut,

Je ne peux qu'approuver.

- aucun rapport avec les maths et encore moins la logique formelle
- il y a une énorme bourde dans son message (bon, je vais avouer, ça m'a fait rire), je suppose une grosse erreur d'inattention mais sur ce forum faut avouer que ça la fout mal
Sans compter qu'on est franchement hors sujet

Et en plus un appel à pétition (peut-être pas de lui mais peu importe) ce qui est violemment hors charte.

J'ai mis un avertissement au cas où. Il faudrait aussi sucrer la petite crotte (le lien youtube, on va pas faire de la publicité pour ça tout de même)

D'une manière ça part un peu dans tous les sens et surtout vers la discussion de comptoir. Bon, c'est moins grave mais autant éviter