Accueil
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home
Gödel
| SOMMAIRE | Pages Web | Images | Sources | Sujets | Papiers | Historiques |
| Biographies | Faq | Liens |
| Biographies | Faq | Liens |
PAGES WEB
La vérité n'est pas toujours prouvable
<http://godel.multimania.com/>
« Je donne ici plusieurs manières précises d'énoncer le théorème d'incomplétude de Gödel, ainsi qu'une esquisse de démonstration. J'essaierai ensuite de traiter rigoureusement quelques interprétations couramment avancées de ce théorème.
Pour lire ce texte, il n'est pas nécessaire d'avoir une formation spécifique en logique mathématique. »
<http://www.eleves.ens.fr/home/ollivier/goedel/goedel.html.fr>
Torkel Franzén
<http://www.sm.luth.se/~torkel/eget/godel.html>
Jacques Bouveresse - Professeur au Collège de France
<http://un2sg4.unige.ch/athena/bouveresse/bou_pens.html>
An HMTL Presentation by Siegfried
1. Meltzer's Preface 2. Braithwaite's Introduction 3. On Formally Undecidable Propositions
<http://home.ddc.net/ygg/etext/godel/index.htm>
The 2006 Gödel Prize for outstanding journal articles in theoretical computer science is awarded to: Manindra Agrawal, Neeraj Kayal, and Nitin Saxena for their paper "PRIMES is in P", Annals of Mathematics 160, 1-13, 2004.
The Prize is named in honor of Kurt Gödel in recognition of his major contributions to mathematical logic and of his interest, discovered in a letter he wrote to John von Neumann shortly before Neumann's death, in what has become the famous "P versus NP" question.
<http://sigact.acm.org/prizes/godel/2006.html>
The Kurt Gödel Society was founded in 1987 and is chartered in Vienna. It is an international organization for the promotion of research in the areas of Logic, Philosophy, History of Mathematics, above all in connection with the biography of Kurt Gödel, and in other areas to which Gödel made contributions, especially mathematics, physics, theology, philosophy and Leibniz studies.
<http://kgs.logic.at/>
IMAGES
<http://www-groups.dcs.st-and.ac.uk/~history/Posters2/Godel.html>
SOURCES
Computes the theorems of the PQ system from the book Godel Escher Bach. formal.tgz
<http://www.farviolet.com/freeware/>
SUJETS - SUBJECTS
Royer, Philippe IREM Lille
<http://www.univ-lille1.fr/irem/publications/fascicules.htm>
What is Mathematics: Gödel's Theorem and Around
Hyper-textbook for students, by Karlis Podnieks, Professor University of Latvia Institute of Mathematics and Computer Science and Russian original.
<http://www.ltn.lv/~podnieks/gt.html>
Akihiro Kanamori
<http://www.math.ucla.edu/~asl/bsl/1302/1302-001.ps>
DOCUMENTS - PAPERS
<http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html#75>Kari Coleman Department of Philosophy University of British Columbia Vancouver, BC, Canada
<http://www.interchg.ubc.ca/kgcolema/godel.html>
ON FORMALLY UNDECIDABLE PROPOSITIONS OF PRINCIPIA MATHEMATICA AND RELATED SYSTEMS 11
by Kurt Gödel, Vienna
<http://www.red-deer.demon.co.uk/Mathematics/godel3.html>
Peter Cameron School of Mathematical Sciences at
<http://www.maths.qmw.ac.uk/~pjc/preprints/goedel.pdf>
HISTORIQUES - HISTORY
April 2006 marks the centennial of the birth of Kurt Gödel. The Notices marks this occasion with a collection of articles about Gödel, his work, and its impact on mathematics.
<http://www.ams.org/notices/200604/index.html>
Horizons of Truth
<http://www.logic.at/goedel2006/>
BIOGRAPHIES
Born: 28 April 1906 in Brünn, Austria-Hungary (now Brno, Czech Republic) Died: 14 Jan 1978 in Princeton, New Jersey, USA
<http://www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Godel.html>
<http://www.exploratorium.edu/complexity/CompLexicon/godel.html>
QUESTIONS - FAQ
<http://www.cs.unb.ca/~alopez-o/math-faq/mathtext/node35.html>
LIENS - LINKS
<liens_math.html> <liens_set.html> <liens_logic.html>
| SOMMAIRE | Pages Web | Images | Sources | Sujets | Papiers | Historiques |
| Biographies | Faq | Liens |
| Biographies | Faq | Liens |
| Accueil | Plan du site | Bloc notes | Jeux | Graphes | Combinatoire | Arithmétique | Algèbre |
| Analyse | Probabilités | Automates | Informatique | Divers | Lycée |
| Analyse | Probabilités | Automates | Informatique | Divers | Lycée |
Advertising :
If you see a reference in one of the files that is not linked, and you know of a link address to the appropriate document,
please send me mail, and I will include the link in the document. Thanks very much in advance.
Avertissement : Le classement par catégories est approximatif. Certains liens se retrouvent dans des rubriques différentes et sur plusieurs pages. Les commentaires sont généralement des courts extraits des pages référencées. Il est possible que certains liens nécessitent une mise à jour.
Tous commentaires ou remarques sont les bienvenus, vous pouvez les adresser à :
Les mises à jour demandées sont réalisées dès que possible et, sauf si c'est nécessaire, aucun message de réponse n'est expédié. Merci de m'écrire.
Copyright © 1999-2012 Jean-Paul Davalan - Reproduction interdite.
Avertissement : Le classement par catégories est approximatif. Certains liens se retrouvent dans des rubriques différentes et sur plusieurs pages. Les commentaires sont généralement des courts extraits des pages référencées. Il est possible que certains liens nécessitent une mise à jour.
Tous commentaires ou remarques sont les bienvenus, vous pouvez les adresser à :
Les mises à jour demandées sont réalisées dès que possible et, sauf si c'est nécessaire, aucun message de réponse n'est expédié. Merci de m'écrire.
Copyright © 1999-2012 Jean-Paul Davalan - Reproduction interdite.