Choose an application

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

Time Magazine reihte ihn unter die hundert wichtigsten Personen des zwanzigsten Jahrhunderts. Die Harvard University verlieh ihm das Ehrendoktorat für die Entdeckung "der bedeutsamsten mathematischen Wahrheit des Jahrhunderts". Er gilt allgemein als der größte Logiker seit Aristoteles. Sein Freund Einstein ging, nach eigener Aussage, nur deshalb ans Institut, um Gödel auf dem Heimweg begleiten zu dürfen. Und John von Neumann, einer der Väter des Computers, schrieb: "Gödel ist tatsächlich absolut unersetzlich. Er ist der einzige Mathematiker, von dem ich das zu behaupten wage." Dieses Buch ist eine leichtverdauliche, einfache und anschauliche Einführung in Gödels Leben und Werk, gedacht für jene, die sich für die menschlichen und kulturellen Aspekte der Wissenschaft interessieren. Ausgangspunkt des Buches waren die Vorbereitungen zu einer Ausstellung über Kurt Gödel aus Anlass seines hundertsten Geburtstags. Eine Ausstellung hat etwas von einem Spaziergang an sich, und gerade das wollen wir bieten: einen Spaziergang mit Gödel. Albert Einstein genoss solche Spaziergänge sehr. Man kann also Gödel genießen. Time Magazine ranked him among the hundred most important persons of the twentieth century. Harvard University made him an honorary doctor "for the discovery of the most significant mathematical truth of the century". He is generally viewed as the greatest logician since Aristotle. His friend Einstein liked to say that he only went to the institute to have the privilege of walking back home with Kurt Gödel. And John von Neumann, one of the fathers of the computer, wrote: "Indeed Gödel is absolutely irreplaceable. He is the only mathematician about whom I dare make this assertion." This book wants to give a simple, intuitive and easily digestible introduction to Gödel's life and work, meant for readers interested in the human and cultural aspects of science. Its starting point were the preparations for an exhibition on Kurt Gödel, on occasion of his hundredth bir.

Mathematics. --- Mathematics, general. --- Mathématiques --- Logicians --- Logic, symbolic and mathematical --- Gödel, Kurt --- Mathematical Sciences --- General and Others --- Gödel, Kurt. --- Logicians - United States - Biography --- Logicians - Austria - Biography

Choose an application

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

Kurt Gödel (1906-1978) fut sans doute l’un des plus grands logiciens de l’histoire. Son théorème d’incomplétude, publié en 1931, est peut-être la proposition mathématique la plus significative du XXe siècle. Il a bouleversé les fondements des mathématiques et fait l’objet de commentaires philosophiques sans fin et d’exploitations abusives sans nombre. Gödel ne publiera que peu pendant la cinquantaine d’années qui suivront. Mais il laissera des milliers de pages de notes philosophiques inédites. On connaissait déjà les excentricités de la vie de Gödel, qui, craignant d’être empoisonné, mourra quasiment d’inanition. Ses notes, décryptées et étudiées ici pour la première fois en français, révèlent une pensée encore plus surprenante. Elles montrent que Gödel croyait aux anges comme au diable, parmi bien d’autres étrangetés. Il tente au cours des années de constituer ces idées bizarres en système logiquement cohérent, dont l’analyse éclaire d’un jour nouveau ses découvertes mathématiques. Cette apparente "folie" d’un esprit génial pose de redoutables questions sur la nature même de la pensée logique. L’auteur de cet essai les aborde sans hésiter à y impliquer sa propre subjectivité, sous forme de courtes fictions fantasmées. Un livre aussi inquiétant que stimulant.

Logicians --- Logic, symbolic and mathematical --- Gödel, Kurt --- Mathématiques --- Mathematics --- Philosophie --- Philosophy --- Logicians - United States - Biography --- Logicians - Austria - Biography --- Gödel, kurt (1906-1978)

Choose an application

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

Mathematical logic --- Tarski, Alfred --- Logic, symbolic and mathematical. --- Logicians --- Tarski, Alfred. --- Logic, Symbolic and mathematical. --- Tarski, Alfred, --- Logic, Symbolic and mathematical --- Algebra of logic --- Logic, Universal --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Philosophers --- Tarski, A. --- Biography. --- Logicians - United States - Biography.