Accueil
Plan du site
Bloc notes
Jeux
Graphes
Combinatoire
Arithmétique
Algèbre
Analyse
Probabilités
Automates
Programmation
Divers
Liens
Home

UniversitySurf.net
Votre portail e-Learning

CultureMATH
ENSup. et Minist. EN

On-Line Encyclopedia
of Integer Sequences

Séminaire MaMuX
Mathématiques, musique et relations avec d'autres disciplines

L'INVERSEUR
de Plouffe

Inscrire les services publics dans la constitution
Plus de 210000 signatures (27 mai)

Gödel

PAGES WEB

Le Théorème de Gödel

La vérité n'est pas toujours prouvable

<http://godel.multimania.com/>

Le théorème de Gödel et ses non-interprétations

« 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>

Gödel on the net

Torkel Franzén

<http://www.sm.luth.se/~torkel/eget/godel.html>

Qu'appellent-ils "penser"?

Jacques Bouveresse - Professeur au Collège de France

<http://un2sg4.unige.ch/athena/bouveresse/bou_pens.html>

Gödel's Theorem

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>

2006 Gödel Prize

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

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

Kurt Gödel

<http://www-groups.dcs.st-and.ac.uk/~history/Posters2/Godel.html>

SOURCES

Formal system program.

Computes the theorems of the PQ system from the book Godel Escher Bach. formal.tgz

<http://www.farviolet.com/freeware/>

SUJETS - SUBJECTS

Théorèmes d?incomplétude de Gödel.

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>

Gödel and set theory

Akihiro Kanamori

<http://www.math.ucla.edu/~asl/bsl/1302/1302-001.ps>

DOCUMENTS - PAPERS

The beginnings of set theory

<http://www-groups.dcs.st-and.ac.uk/~history/HistTopics/Beginnings_of_set_theory.html#75>

Godel Propositions for the Mind

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>

Gödel's theorem

Peter Cameron School of Mathematical Sciences at <http://www.maths.qmw.ac.uk/~pjc/preprints/goedel.pdf>

HISTORIQUES - HISTORY

A Tribute to Kurt Gödel

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>

Gödel Centenary 2006

Horizons of Truth

<http://www.logic.at/goedel2006/>

BIOGRAPHIES

Kurt Gödel

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>

Kurt Godel (1906-1978)

<http://www.exploratorium.edu/complexity/CompLexicon/godel.html>

QUESTIONS - FAQ

The Axiom of Choice

<http://www.cs.unb.ca/~alopez-o/math-faq/mathtext/node35.html>

LIENS - LINKS

Page de liens sur les mathématiques

<liens_math.html>

Page de liens sur les Ensembles

<liens_set.html>

Page de liens sur la Logique

<liens_logic.html>

Actualités

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 à :
écrire

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-2009 Jean-Paul Davalan - Reproduction interdite.