Not logged in : Login
(Sponging disallowed)

About: Kurt Gdel     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:WikicatPeopleFromBrno, within Data Space : linkeddata.uriburner.com associated with source document(s)
QRcode icon
http://linkeddata.uriburner.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FKurt_Gödel

Kurt Friedrich Gödel (/ˈkɜrt ˈɡɜːdəl/; German: [ˈkʊɐ̯t ˈɡøːdl̩] ; April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher. Considered with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel made an immense impact upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell, A. N. Whitehead, and David Hilbert were pioneering the use of logic and set theory to understand the foundations of mathematics.

AttributesValues
Type
same as
field
birth name
  • Kurt Friedrich Gödel
citizenship
residence
has abstract
  • Kurt Friedrich Gödel (* 28. April 1906 in Brünn, Österreich-Ungarn, heute Tschechien; † 14. Januar 1978 in Princeton, New Jersey, Vereinigte Staaten) war ein österreichisch-amerikanischer Mathematiker und einer der bedeutendsten Logiker des 20. Jahrhunderts. Er leistete maßgebliche Beiträge zur Prädikatenlogik (Vollständigkeit und Entscheidungsproblem in der Arithmetik und der axiomatischen Mengenlehre), zu den Beziehungen der intuitionistischen Logik sowohl zur klassischen Logik als auch zur Modallogik sowie zur Relativitätstheorie in der Physik. Auch seine philosophischen Erörterungen zu den Grundlagen der Mathematik fanden weite Beachtung.
  • Kurt Gödel o también Kurt Goedel (en alemán [ˈkʊʁt ˈɡøːdəl]), (28 de abril de 1906 Brünn, Imperio austrohúngaro, actual República Checa – 14 de enero de 1978, Princeton, Estados Unidos) fue un lógico, matemático y filósofo austriaco-estadounidense. Reconocido como uno de los más importantes lógicos de todos los tiempos, el trabajo de Gödel ha tenido un impacto inmenso en el pensamiento científico y filosófico del siglo XX. Gödel, al igual que otros pensadores como Gottlob Frege, Bertrand Russell, A. N. Whitehead y David Hilbert intentó emplear la lógica y la teoría de conjuntos para comprender los fundamentos de la matemática.A Gödel se le conoce mejor por sus dos teoremas de la incompletitud, publicados en 1931 a los 25 años de edad, un año después de finalizar su doctorado en la Universidad de Viena. El más célebre de sus teoremas de la incompletitud establece que para todo sistema axiomático recursivo auto-consistente lo suficientemente poderoso como para describir la aritmética de los números naturales (la aritmética de Peano), existen proposiciones verdaderas sobre los naturales que no pueden demostrarse a partir de los axiomas. Para demostrar este teorema desarrolló una técnica denominada ahora como numeración de Gödel, la cual codifica expresiones formales como números naturales. También demostró que la hipótesis del continuo no puede refutarse desde los axiomas aceptados de la teoría de conjuntos, si dichos axiomas son consistentes. Realizó importantes contribuciones a la teoría de la demostración al esclarecer las conexiones entre la lógica clásica, la lógica intuicionista y la lógica modal.
  • Kurt Friedrich Gödel (Brünn, Áustria-Hungria, 28 de abril de 1906 — Princeton, Estados Unidos, 14 de janeiro de 1978) foi um matemático austríaco, naturalizado norte-americano. O trabalho mais conhecido de Gödel é seu teorema da incompletude, no qual afirma que qualquer sistema axiomático suficiente para incluir a aritmética dos números inteiros não pode ser simultaneamente completo e consistente.Isto significa que se o sistema é auto-consistente, então existirão proposições que não poderão ser nem comprovadas nem negadas por este sistema axiomático. E se o sistema for completo, então ele não poderá validar a si mesmo — seria inconsistente.
  • Kurt Friedrich Gödel (/ˈkɜrt ˈɡɜːdəl/; German: [ˈkʊɐ̯t ˈɡøːdl̩] ; April 28, 1906 – January 14, 1978) was an Austrian, and later American, logician, mathematician, and philosopher. Considered with Aristotle and Gottlob Frege to be one of the most significant logicians in history, Gödel made an immense impact upon scientific and philosophical thinking in the 20th century, a time when others such as Bertrand Russell, A. N. Whitehead, and David Hilbert were pioneering the use of logic and set theory to understand the foundations of mathematics. Gödel published his two incompleteness theorems in 1931 when he was 25 years old, one year after finishing his doctorate at the University of Vienna. The first incompleteness theorem states that for any self-consistent recursive axiomatic system powerful enough to describe the arithmetic of the natural numbers (for example Peano arithmetic), there are true propositions about the naturals that cannot be proved from the axioms. To prove this theorem, Gödel developed a technique now known as Gödel numbering, which codes formal expressions as natural numbers. He also showed that neither the axiom of choice nor the continuum hypothesis can be disproved from the accepted axioms of set theory, assuming these axioms are consistent. The former result opened the door for mathematicians to assume the axiom of choice in their proofs. He also made important contributions to proof theory by clarifying the connections between classical logic, intuitionistic logic, and modal logic.
  • Kurt Friedrich Gödel (Brno, 28 april 1906 — Princeton (New Jersey), 14 januari 1978) was een Oostenrijks-Amerikaans wiskundige, logicus en filosoof. Hij wordt gezien als een van de belangrijkste logici aller tijden.
  • Kurt Gödel (28 avril 1906 – 14 janvier 1978) est un logicien et mathématicien austro-américain. Son résultat le plus connu, le théorème d'incomplétude de Gödel, affirme que n'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie. Cette proposition est qualifiée d'indécidable. L'incomplétude et la cohérence (second théorème) ne peuvent pas être démontrées à l'intérieur du système. Gödel a également démontré la complétude du calcul des prédicats du premier ordre. Il a aussi démontré la cohérence relative de l'hypothèse du continu, montrant qu'elle ne peut pas être réfutée à partir des axiomes admis de la théorie des ensembles, en admettant que ces axiomes soient cohérents. Il est aussi à l'origine de la théorie des fonctions récursives. Il publie ses résultats les plus importants en 1931 à l'âge de 25 ans, alors qu'il travaille encore pour l'université de Vienne (Autriche).
  • Gödel è ritenuto uno dei più grandi logici di tutti i tempi insieme ad Aristotele e Gottlob Frege; le sue ricerche ebbero un significativo impatto, oltre che sul pensiero matematico e informatico, anche sul pensiero filosofico del XX secolo.
  • クルト・ゲーデル(Kurt Gödel, 1906年4月28日 - 1978年1月14日)は、オーストリア・ハンガリー二重帝国(現チェコ)のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。
  • كورت غودل (بالألمانية: Kurt Gödel)؛ (28 أبريل 1906 - 14 يناير 1978) منطقي ورياضياتي وفيلسوف. ولد في برون في مورافيا في ما كان يعرف باسم نمسا-المجر. بعد تفكُك تلك المملكة أصبح غودل تشيكيا في عمر 12، ثم أصبح نمساوياً في عمر 23 وبدخول هتلر إلى النمسا وضمها إلى ألمانيا أصبح غودل مواطِناً ألمانيا في عمر 32. بعد إنتهاء الحرب العالمية الثانية، سافر غودل إلى الولايات المتحدة حيث أصبح مواطِناً أمريكياً وعمرهُ اثنان و أربعون عاماً. من أهم إنجازاته مبرهنات عدم الاكتمال.
Faceted Search & Find service v1.17_git51 as of Jun 26 2020


Alternative Linked Data Documents: PivotViewer | ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3319 as of Oct 20 2020, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (378 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2020 OpenLink Software