Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Antinomy --- Logic --- Gödel, Kurt.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Le grand scientifique Kurt Gödel est misérablement décédé, à Princeton, en 1978. Sa veuve et ses collègues, venus assister à la veillée funèbre, évoquent leurs souvenirs de ce scientifique atypique qui, ces dernières années, leur a donné du fil à retordre. Kurt Gödel, ou plutôt son esprit, est présent lui aussi, pour revivre les événements de sa vie, spectateur éthéré de son évolution.

Scientists --- Scientifiques --- Gödel, Kurt --- Gödel, Kurt

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Kurt Gödel (1906-1978), mathématicien, logicien et philosophe, est incontestablement l’un des plus grands esprits de notre temps. Ses réponses aux questions radicales posées par le XXe siècle au langage, aux mathématiques et à la pensée rationnelle ont modifié de façon décisive l’assise du savoir contemporain : existe-t-il une langue qui permette d’isoler les phrases vraies dans tout monde possible ? Pouvons-nous ou prouver ou réfuter chacune des phrases que nous pouvons y énoncer ? Ou bien, dans une langue donnée, existe-t-il des phrases indécidables ? Plus largement, existe-t-il des phrases absolument indécidables, qui, dans aucune langue plausible, ne seront ni prouvées ni réfutées ? Sommes-nous des machines ? Si nous pensons correctement, notre pensée doit pouvoir s’énoncer dans une langue univoque mais, en utilisant une langue définie, nous écrivons comme une machine. Existe-t-il des machines capables d’écrire tout ce que nous pouvons penser ? Existe-t-il des objets qui ne sont ni dans l’espace ni dans le temps et que nous ne pouvons percevoir qu’avec nos esprits ? Les nombres sont-ils de tels objets ? Les mathématiques apparaissent comme le modèle de l’activité rationnelle et l’arithmétique donne le modèle de la certitude mathématique. Mais pouvons-nous donner un fondement à l’arithmétique élémentaire ? On présente ici les réponses de Gödel, en suivant son œuvre logique et philosophique, depuis sa démonstration de la complétude sémantique du calcul des prédicats (1929) à sa réflexion sur le continu chez Cantor (1947), en passant par son théorème dit d’incomplétude (1931) – théorème qui a rendu Gödel fameux au-delà de son domaine et influencé jusqu’au psychanalyste Jacques Lacan.

Mathematicians --- Logicians --- Mathematics --- Biographies. --- Philosophy --- History --- Gödel, Kurt.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematics --- Philosophy --- Cantor, Georg, --- Gödel, Kurt. --- Steiner, Rudolf

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Godel's writings on the philosophy and foundations of mathematics and logic. Tieszen structures the argument around Godel's three philosophical heroes - Plato, Leibniz, and Husserl - and his engagement with Kant, and supplements close readings of Godel's texts on foundations with materials from Godel's Nachlass and from Hao Wang's discussions with Godel. As well as providing discussions of Godel's views on the philosophical significance of his technical results on completeness, incompleteness, undecidability, consistency proofs, speed-up theorems, and independence proofs, Tieszen furnishes a detailed analysis of Godel's critique of Hilbert and Carnap, and of his subsequent turn to Husserl's transcendental philosophy in 1959. On this basis, a new type of platonic rationalism that requires rational intuition, called 'constituted platonism', is developed and defended. Tieszen shows how constituted platonism addresses the problem of the objectivity of mathematics and of the knowledge of abstract mathematical objects. Finally, he considers the implications of this position for the claim that human minds ('monads') are machines, and discusses the issues of pragmatic holism and rationalism.

Logique mathématique --- Logic, Symbolic and mathematical. --- Gödel, Kurt, --- Gödel, Kurt. --- Rationalism --- Platonists --- Mathematics --- Logic --- Gödel, Kurt --- Logique mathématique. --- Logique mathématique --- Gödel, Kurt --- Gödel, Kurt.