Geometry.Net - the online learning center
Home  - Scientists - Godel Kurt
e99.com Bookstore
  
Images 
Newsgroups
Page 4     61-80 of 98    Back | 1  | 2  | 3  | 4  | 5  | Next 20
A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

         Godel Kurt:     more books (100)
  1. Austrian Mathematicians: Kurt Gödel, Christian Doppler, Georg Joachim Rheticus, Leopold Vietoris, Karl Menger, Georg Von Peuerbach, Emil Artin
  2. University of Vienna: University of Vienna Alumni, University of Vienna Faculty, Kurt Gödel, Erwin Schrödinger, Karl Popper, Max Weber
  3. Set Theorists: Kurt Gödel, Bertrand Russell, Georg Cantor, Paul Cohen, Max August Zorn, Chris Freiling, Luitzen Egbertus Jan Brouwer
  4. Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel (English and German Edition)
  5. American People of Austrian Descent: Georg Ludwig Von Trapp, Kurt Gödel, Arnold Schwarzenegger, Johnny Weissmuller, Sylvia Plath
  6. People From Brno: Kurt Gödel, Gregor Mendel, Ernst Mach, Adolf Loos, Milan Kundera, Leos Janácek, Bohumil Hrabal, Jana Novotná
  7. Sentences Undecidable in Formalized Arithmetic : An exposition of the Theory of Kurt Gödel by Andrzej Mostowski, 1952
  8. Wiener Kreis: Kurt Gödel, Logischer Empirismus, Rudolf Carnap, Victor Kraft, Otto Neurath, Carl Gustav Hempel, Richard von Mises (German Edition)
  9. Mathématicien Autrichien: Kurt Gödel, Georg Joachim Rheticus, Heinrich Tietze, Wilhelm Blaschke, Franz Josef Von Gerstner, Johann Radon (French Edition)
  10. Foundations of Mathematics: Symposium Papers Commemorating the Sixtieth Birthday of Kurt Godel by Jack J. (ed.); Holyoke, Thomas C. (ed.); Hahn, S. W. (ed.) Bulloff, 1969
  11. Deaths by Starvation: Kurt Gödel, Howard Hughes, Eratosthenes, Richard Ii of England, Robert Falcon Scott, Agrippina the Elder, Anaxagoras
  12. Vienna Circle: Kurt Gödel, Alfred Jules Ayer, Rudolf Carnap, Otto Neurath, Karl Menger, Richard Von Mises, Louis Rougier, Moritz Schlick
  13. Mathematischer Logiker (20. Jahrhundert): Alan Turing, Kurt Gödel, Ludwig Wittgenstein, Bertrand Russell, Jan Lukasiewicz, Gregory Chaitin (German Edition)
  14. People From Brno-City District: People From Brno, Kurt Gödel, Gregor Mendel, Ernst Mach, Adolf Loos, Milan Kundera, Leos Janácek

61. Gödel On The Net
Every day, Gödel s incompleteness theorem is invoked on the net to support By Gödel s second incompleteness theorem, we can t know that mathematics is
http://www.sm.luth.se/~torkel/eget/godel.html
Gödel on the net
Every day, Gödel's incompleteness theorem is invoked on the net to support some claim or other, or just to whack people over the head with it in a general way. In news, we find such invocations not only in sci.logic, sci.math, comp.ai.philosophy, sci.philosophy.tech and other such places where one might expect them, but with equal frequency in groups dealing with politics or religion, and indeed in alt.cuddle, soc.culture.malaysia, rec.music.hip-hop, and what have you. In short, whenever a bunch of people get together on the net, sooner or later somebody will invoke Gödel's incompleteness theorem. Unsurprisingly, the bulk of these invocations covers a range from the nonsensical to the merely technically inaccurate, and they often give rise to a flurry of corrections and more or less extended technical or philosophical disputes. My purpose in these pages is to provide a set of responses to many such invocations, couched in non-confrontational and hopefully helpful and intelligible terms. There are few technicalities, except in connection with a couple of technical (and less frequently raised) issues. All of my comments and explanations are intended to be non-controversial, in the sense that people who are familiar with the incompleteness theorem can be expected to agree with them. (Thus, for example, I don't present any criticism of so-called Gödelian arguments in the philosophy of mind, but only a couple of technical observations relevant for the discussion of such arguments.)

62. Science: Mathematics: Mathematicians: Gödel - Open Site
kurt Gödel was born on April 28, 1906 in AustriaHungary, Gödel, kurt.On formally undecidable propositions of Principia Mathematica and related systems
http://open-site.org/Science/Mathematics/Mathematicians/Gödel/
Open Site The Open Encyclopedia Project home submit content become an editor the entire directory only in Mathematicians/G¶del Top Science Mathematics Mathematicians : G¶del
Section Index
  • Biography
    Influences
    Achievements and Awards
    Publications of Importance
    Inventions or Contributions to Knowledge
    Other Areas of Interest
    Internet Links of Significance

  • Biography Kurt G¶del was born on April 28, 1906 in Austria-Hungary, the city of Brno (now Czech Republic). Although he is commonly considered Austrian, there are quite a few countries listed in his biography. After the breakup of Austria-Hungary, G¶del became Czechoslovak citizen at age 12, and Austrian citizen at age 23. When Nazi Germany annexed Austria in 1938, G¶del automatically became German. After the World War II, G¶del obtained US citizenship. He died on January 14, 1978 in Princeton, New Jersey, USA.
    Influences G¶del is arguably the greatest mathematician of the 20th century and one of the three greatest logicians of all time, with the other two being Aristotle and Frege. His incompleteness theorems , revealing the fundamental limitations of formal reasoning, had a great impact on the further development of not only logic and mathematics, but philosophy and theoretical computer science as well. This result was devastating to a philosophical approach to mathematics known as Hilbert's program, which was based on a conviction that the consistency of more complicated systems, such as real analysis, could be proven in terms of simpler systems.

    63. AIP International Catalog Of Sources
    kurt Gödel papers, 19051980 (bulk 1930-1970). by Gödel, kurt. kurtGödel (1906-1978). Born in Brunn, Moravia, Gödel studied and taught at the
    http://www.aip.org/history/catalog/156.html
    If you are not immediately redirected, please click here
    My List - Help Browse Archival Resources Archival Finding Aids Books Photos Browse FAQs Past Searches History Home Search: Author Subject Title Journal/Newspaper Title Series Computer File (Software) Title Video Title Refine Search AIP Niels Bohr Library
    Item Information Holdings More by this author Subjects Logic, Symbolic and mathematical. Mathematical physics. Mathematics Problems, exercises, etc. Mathematics Research New Jersey Princeton 20th century. Mathematics, German. Browse Catalog by author: by title: MARC Display by Description: 30.50 cu. ft. (43 boxes, 9 cartons, 1 oversized box, 1 package) Use and Reproduction : No Xeroxing is allowed, except with prior written permission of the Institute for Advanced Study. Owning Repository: Princeton University. Dept. of Rare Books and Special Collections, One Washington Road, Princeton, NJ 08544 USA. Country of Repository: USA Biography/History: Scope of Material: Provenance: Arrangement of Records: Notes: Finding Aid: Preservation microfilm is available for Series I. through XIV. An 81-page finding aid is available. also available in the AIP Niels Bohr Library. Added Author: AIP-ICOS Genre Term(s): Notebooks.

    64. Biographies Info Science : Gödel Kurt
    kurt Gödel n ait donné lieu qu à peu de
    http://www.infoscience.fr/histoire/biograph/biograph.php3?Ref=80

    65. Dr. John Dawson - Research Interests
    kurt Gödel in sharper focus. The Mathematical Intelligencer 64 (1984), 917 . The papers of kurt Gödel an inventory. Prepared for the Institute for
    http://www.yk.psu.edu/~jwd7/research/pubs.html

    66. Book Reviews By Jesús Padilla-Gálvez (pp. 61-68)
    Gödel, kurt Ensayos inéditos. (Ed. Francisco Rodríguez Consuegra, Prólogo de WVQuine). Gödel, kurt Unpublished Philosophical Essays.
    http://www.sorites.org/Issue_06/item5.htm
    SORITES ISSN 1135-1349 Issue #06. August 1996. Pp. 61-68.
    Unpublished Philosophical Essays ' (1994, 21-126 / 1995, 15-106). The third section (part II) is the most comprehensive one (1994, 127-240 / 1995, 107-235) consisting of the following five parts: 1. the character and origin of the manuscripts (1994, 129-144 (+ 4) / 1995, 109-123 (+ 4)); 2. the text ` Some basic theorems on the foundations of mathematics and their philosophical implications ' (1994, 171-178 / 1995, 149-157) and the ` Appendix ' (1994, 179-187 (+ 3) / 1995, 159-167 (+ 3)); 3. the text ` Is mathematics syntax of language? , II' (1994, 191-207 / 1995, 171-189) and ` ' (1994, 209-228 / 1995, 191-211); 4. the text ` Is mathematics syntax of language? , VI' (1994, (+ 1) 231-236 / 1995, (+ 1) 213-218) and ` Editorial footnotes of comparison with version V' (1994, 237-240 / 1995, 219-222); 5. and Index of themes and authors (1995, 223-235). a priori In the article titled ` Some basic theorems on the foundations of mathematics and their philosophical implications realist Another important topic revolves around the thesis that the nature of philosophy of logic and mathematics is analytic In ` Is mathematics syntax of language?

    67. Gödel, Kurt
    Translate this page Gödel, kurt, * 28. 4. 1906 Brünn (Brno, Tschechische Republik), † 14. 1.1978 Princetown (USA), Mathematiker. 1933-38 Universitätsdozent in Wien,
    http://www.aeiou.at/aeiou.encyclop.g/g514138.htm
    A B C D ... Godl, Stephan
    Tschechische Republik ), † 14. 1. 1978 Princetown (USA), Mathematiker. 1933-38 in Wien, Mitglied des Wiener Kreises , nach Emigration 1939-76 am Institute for Advanced Studies in Princeton. Einer der bedeutendsten mathematischen theoretische Mathematik waren und der wesentliche Allgemeinen Wahrheiten der Arithmetik beschreiben kann ( , dass "wahr" und "beweisbar" im Allgemeinen nicht das Gleiche sind). Weiters ist damit besagt, dass ein mathematisches eigene Widerspruchsfreiheit prinzipiell nicht beweisen kann. Literatur: Nachruf in Monatshefte Mathematik, 1980. D. R. Hofstaedter, , Escher, Bach, 1985; J. W. Dawson, K. , Leben und Werk, 1999. Hinweise zum Lexikon Suche nach hierher verweisenden Seiten

    68. Gödel, Kurt
    gödel, kurt,
    http://www.123-fr.com/123annuaire/dir/cat-1274854-gödel,_kurt.html
    G¶del, Kurt Navigation : Accueil
    123-fr.com
    Annuaire de sites francophones sur Internet Navigation : Forum Sonneries Telecharger Annuaire ... G¶del, Kurt
    G¶del, Kurt - 7 site(s)
    R©pertoire des sites consacr©s au logicien et philosophe am©ricain d'origine autrichienne (1906-1978).
    Sites:
    G¶del et les limites de la logique - Article de John Dawson dans la revue Pour la Science (n° 262). K. G¶del et al. 1931 - Une note de lecture par J.L. Le Moigne sur la publication en fran§ais du th©or¨me primordial du logicien am©ricain. Kurt G¶del - Dossier interactif sur le philosophe dans l'encyclop©die libre. Le th©ome de G¶del et ses non-interpr©tations - Article de Yann Ollivier exposant plusieurs mani¨res pr©cises d'©noncer le th©or¨me d'incompl©tude, sa d©monstration et ses interpr©tations possibles. Le th©or¨me de G¶del - Dossier consacr© au logicien r©alis© par Eric Andres et Laurent Signac. Petit r©sum© du th©or¨me de G¶del - Pr©sentation concise par Michel Volle. Th©or¨me de G¶del - Pr©sentation succincte du th©or¨me d'incompl©tude accompagn©e d'un glossaire par Marc Jutier.
    Annuaire
    Accueil Fran§ais Sciences Sciences humaines et sociales ... G¶del, Kurt

    69. DISF - Dizionario Interdisciplinare Di Scienza E Fede | Dettaglio Voce
    GÖDEL, kurt FRIEDRICH (1906 1978). Giovanni Binotti Study Center St. Thomas Aquinas,Chieri-Turin. I. Life, works and personality. 1.
    http://www.disf.org/en/DettaglioVoce.asp?idVoce=19

    70. References
    Gödel,kurt. Reference. Context. Logic, Incompleteness. Randwalk, Axiomatisation.Randreal, Incompleteness. Certain, Incompleteness. Shadow1, Consciousness
    http://members.fortunecity.com/templarser/g1-3.html
    web hosting domain names photo sharing
    Reference Guide
    Reference Context Logic Incompleteness Randwalk Axiomatisation Randreal Incompleteness Certain Incompleteness Consciousness Aesthetics Moremind Psychophysical parallelism Daybegan The creation of time Proof Proof MAIN INDEX REFERENCE GUIDE TRANSCRIPTS GLOSSARY ... Maths File Info: Created Updated Page Address: http://members.fortunecity.com/templarser/g1-3.html
    web hosting
    domain names web design ... advertising online

    71. KGS: Welcome
    The kurt Gödel Society was founded in 1987 and is chartered in Vienna. It is aninternational organization for the promotion of research in the areas of
    http://kgs.logic.at/
    Welcome News and Activities Lecture Series Conferences ... Contact Welcome
    Top News
    Horizons of Truth: Gödel Centenary 2006 The website for the Conference Horizons of Truth: Gödel Centenary 2006 is online:; http://www.logic.at/goedel2006/ [more...] German Article in pm-magazin: Zeitreisen sind möglich German article in PM-Magazin on Kurt Gödel and time travels. [more...] Collegium Logicum Lecture Series Richard Zach, Libor Behounek, Petr Cintula [more...] © 2004 Kurt Gödel Society, Arnold Beckmann, Norbert Preining

    72. KGS: Kurt Gödel
    The Society maintains the kurt Gödel Archive, collecting primarily material The kurt Gödel Society maintains a library containing about 30 books as well
    http://kgs.logic.at/index.php?id=23

    73. References
    Gödel, kurt. 1931. On formally undecidable propositions of Principia mathematica and In memoriam kurt Gödel His 1931 correspondence with Zermelo on his
    http://www.hf.uio.no/filosofi/njpl/vol1no2/howlogic/node5.html
    Next: Up: On How Logic Became Previous: III
    References
    Ackermann, Wilhelm. 1924.

    Mathematische Annalen , 93, pp. 1-36.
    Benacerraf, Paul. 1985.
    Skolem and the skeptic.
    Proceedings of the Aristotelian Society , Suppl. Vol. LIX, pp. 85-115.
    Boolos, George. 1993.
    The Logic of Provability
    Cambridge University Press.
    Corcoran, John. 1973.
    Gaps between logical theory and mathematical practice.
    In Mario Bunge (ed.), The Methodological Unity of Science , pp. 23-50. D. Reidel Publishing Company, Dordrecht.
    Dawson, John W. 1985.

    Historia Mathematica , 12, pp. 66-70.
    Dawson, John W. 1991.

    In Thomas Drucker (ed.), Perspectives on the History of Mathematical Logic
    Etchemendy, John. 1990.
    The Concept of Logical Consequence
    Harvard University Press, Cambrige, MA, and London.
    On formally undecidable propositions of Principia mathematica and related systems I.
    In , pp. 145-195.
    Principia mathematica und verwandter Systeme I'', , 38, pp. 173-198.
    Collected Works , vol. I.
    Oxford University Press.
    Goldfarb, Warren D. 1979.
    Logic in the twenties: The nature of the quantifier.

    74. References
    Gödel, kurt. 1933i. Zum Entscheidungsproblem des logischen
    http://www.hf.uio.no/filosofi/njpl/vol1no2/skogod/node2.html
    Next: Up: Skolem and Gödel Previous: Skolem and Gödel
    References
    Boos, William. Jul. 1992.

    Typescript.

    , 2, p. 3.
    Reprinted in , pp. 240-242.

    , 4, p. 385.
    Reprinted in , p. 262.

    , 40, pp. 433-443.
    Reprinted in , pp. 306-326.
    Besprechung von ``Ein kombinatorischer Satz mit Anwendung auf ein logisches Entscheidungsproblem''.
    , 7, pp. 97-98.
    Reprinted in , p. 372.

    , 2, p. 3. Reprinted in , pp. 378-380.
    , 10, p. 49. Reprinted in , p. 384.
    Collected Works, edited by Solomon Feferman , vol. 1. Oxford University Press, New York.
    Goldfarb, Warren D. 1971.
    Review of Skolem 1970 Journal of Philosophy , 68, pp. 520-530.
    Goldfarb, Warren D. 1979.
    Logic in the twenties: The nature of the quantifier. Journal of Symbolic Logic , 44, pp. 351-368.
    van Heijenoort, Jean (ed.). 1967.
    Harvard University Press, Cambridge, Mass.
    Skolem, Thoralf. 1910.
    , 41, pp. 89-90. Review of Weyl 1910
    Skolem, Thoralf. 1920.
    Skrifter utgit av Videnskabsselskapet i Kristiania, I. Matematisk-naturvidenskabelig klasse , 4, pp. 1-36. Reprinted as 1920a in Skolem 1970 , pp. 103-136.

    75. UT Austin - History & Philosophy Of Science Program
    Gödel, kurt. (1995), Is Mathematics Syntax of Language? , in kurt Gödel, CollectedWorks, Vol. 3. Oxford, UK Oxford University Press, pp. 334 364.
    http://uts.cc.utexas.edu/~philsci/philmath01-02.html
    The University of Texas at Austin Program in the History and Philosophy of Science
    Philosophy of Mathematics
    Participants: Josh Dever, Herbert Hochberg, Cory Juhl, Sahotra Sarkar
    Fall 2001
    September 12 Grattan-Guinness, I. (2000), The Search for Mathematical Roots 1870-1940 . Princeton, NJ: Princeton University Press, pp. 1 -218.
    September 19 Kneale, W. and Kneale, M. (1991), The Development of Logic . Oxford, UK: Clarendon Press, pp. 548 -68.
    September 26 Gödel, Kurt. (1995), "Is Mathematics Syntax of Language?", in Kurt Gödel, Collected Works, Vol. 3. Oxford, UK: Oxford University Press, pp. 334 -364.
    October 3 Lindström, Per. (2000), "Quasi-Realism in Mathematics", The Monist
    October 15 Lindström, S. (1998), "An Exposition and Development of Kanger's Early Semantics for Modal Logic", in Humphreys, P. and Fetzer, J. (eds.) The New Theory of Reference -Kripke, Marcus, and Its Origins . New York, NY: Kluwer.
    October 24 Carnap, R. (1968), "Inductive Logic and Inductive Intuition," in Lakatos, I. (ed.), The Problem of Inductive Logic . Amsterdam: North Holland, pp. 258 -314.

    76. Members Of The School Of Mathematics
    GÖDEL, kurt HEDLUND, Gustav A. HULL, Ralph JACOBSON, Nathan JESSEN, Bärge C. GÖDEL, kurt GRAVES, Lawrence M. HOFFMANN, Banesh KIMBALL, Spofford H.
    http://www.math.ias.edu/1933.html
    ALBERT, Abraham Adrian
    BLUMENTHAL, Leonard M.
    CAMERON, Robert H.
    CLIFFORD, Alfred H.
    GÖDEL, Kurt
    HEDLUND, Gustav A.
    HULL, Ralph
    JACOBSON, Nathan
    JESSEN, Bärge C.
    LEHMER, Derrick H.
    LOWAN, Arnold N. MARTIN, Robert S. PETERSON, Thurman S. RUSE, Harold S. SALKOVER, Meyer SCHMEISER, Mabel F. SCHOENBERG, Isaac J. STAFFORD, Anna A. THOMAS, Tracy Y. TODD, John A. TORRANCE, Charles C. van KAMPEN, Egbertus R. VANDERSLICE, John L. WILDER, Raymond L. ZIPPIN, Leo AUMANN, Georg BARBER, Sherburne F. BLUMENTHAL, Leonard M. BRAUER, Richard D. CAMERON, Robert H. CHURCH, Alonzo CLARKSON, James A. CLIFFORD, Alfred H. DOUGLAS, Jesse DuVAL, Patrick HULL, Ralph LEMAÎTRE, Georges LEWIS, Daniel C., Jr. MAGNUS, Wilhelm MARIA, Alfred J. MARTIN, Robert S. MARTIN, William T. MONTGOMERY, Deane MOORE, Charles N. MURRAY, Francis J. MYERS, Sumner B. NATHAN, David S. SAGEN, Oswald K. SCHOENBERG, Isaac J. SHUDEMAN, Conrad L.B. SIEGEL, Carl L. SINCLAIR, Mary Emily STAFFORD, Anna A. VANDERSLICE, John L. WALSH, Joseph L.

    77. Members Of The School Of Mathematics
    Translate this page GÖDEL, kurt HALMOS, Paul R. HEINS, Maurice H. KAKUTANI, Shizuo MAHARAM, Dorothy GÖDEL, kurt GRAU, Albert A. HELMER, Olaf RADÓ, Tibor RICHMOND, Donald E.
    http://www.math.ias.edu/1940.html
    AMBROSE, Warren
    BOURGIN, David G.
    BRAUER, Alfred T.
    EWING, George M.
    FRINK, Orrin, Jr.
    GÖDEL, Kurt
    HALMOS, Paul R.
    HEINS, Maurice H.
    KAKUTANI, Shizuo
    MAHARAM, Dorothy
    MUHLY, Harry T. PALL, Gordon SCHWARTZ, Abraham SHANNON, Claude E. SHERMAN, Seymour SIEGEL, Carl L. TAUB, Abraham H. THRALL, Robert M. TRJITZINSKY, Waldemar J. BLACKWELL, David H. BRAUER, Alfred T. BRAUER, Richard D. CALKIN, John W. DAVIDS, Norman DOOB, Joseph L. FUBINI, Guido GÖDEL, Kurt HALMOS, Paul R. HEINS, Maurice H. HOCHSCHILD, Gerhard P. HURWITZ, Wallie A. KAKUTANI, Shizuo KALISCH, Gerhard K. KOLCHIN, Ellis R. MACKEY, George W. MAHARAM, Dorothy MONTGOMERY, Deane SAMELSON, Hans SAVAGE, Leonard J. SCHENBERG, Mario SIEGEL, Carl L. STONE, Arthur H. TARSKI, Alfred THRALL, Robert M. WHAPLES, George W. COHEN, Irvin S. GÖDEL, Kurt McMILLAN, Audrey W. SIEGEL, Carl L. TRANSUE, William R. WADE, Luther I., Jr. WILKINS, J. Ernest, Jr. YAGI, Fumio CHERN, Shiing-shen GÖDEL, Kurt

    78. Kurt Gödel

    http://www.mathematik.ch/mathematiker/goedel.php
    Home Geschichte Mathematiker Zitate ...
    Neue Denksport-Rätsel für Geniale

    Michael Engel
    Kurt Gödel
    Kurt Gödel wurde 1906 in Brünn (Oesterreich-Ungarn; heute Brno: Tschechien) geboren und verstarb 1978 in Princeton (USA), wo er seit 1939 am Institute for Advanced Studies lehrte. Die sogenannten Grundlagen der Mathematik sind keineswegs so unumstritten wie es ein Laie vielleicht vermuten könnte. Es gibt durchaus im Widerstreit liegende Sichtweisen, die aber im praktischen Mathematikalltag kaum zur Diskussion gelangen. Nur bei Fragen der Mengentheorie, der Topologie, besonders aber in der Beweistheorie oder der Theorie der Berechenbarkeit und Entscheidbarkeit sind Gödels Überlegungen von Bedeutung. In der neuesten Entwicklung der Mathematik, vor allem durch die Entstehung der mathematischen Logik, hat der Algorithmenbegriff Bedeutung erlangt, weil sich mit seiner Hilfe die grundlegenden Begriffe der Entscheidbarkeit und Axiomatisierbarkeit einer formalisierten Theorie definieren lassen.
    Kurt Gödel, einer der wohl berühmtesten Mathematiker und Logiker des 20. Jahrhunderts, publizierte 1931 ("Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I." Monatshefte für Mathematik und Physik, 38 (1931), S.173-198) den Unvollständigkeitssatz. Er ist heute jedem Mathematiker zumindest vom Ansatz her bekannt. Worum geht es in diesem Satz?

    79. Kurt Gödel
    Translate this page Encyclopedia kurt Gödel. kurt Gödel. Immagine mancante kurt_Gödel.jpg.KGödel. kurt Gödel (Brno, Moravia, Repubblica Ceca, 28 Aprile 1906 - Princeton,
    http://encyclopedie-it.snyke.com/articles/kurt_godel.html
    Kurt G¶del
    Immagine mancante
    Kurt_G¶del.jpg K.G¶del Kurt G¶del Brno , Moravia, Repubblica Ceca 28 Aprile - Princeton, New Jersey USA 14 Gennaio ) fu un matematico e logico , noto soprattutto per i suoi lavori sulla incompletezza delle teorie matematiche. G¶del ¨ ritenuto il pi¹ grande logico del XX secolo e uno dei tre pi¹ grandi di tutti i tempi, assieme ad Aristotele e Frege Nasce da famiglia di lingua tedesca nella citt  allora chiamata Br¼nn in Moravia sotto l' Impero Austro-Ungarico . Nel diventa cittadino cecoslovacco . Nel si iscrive all'Universit  di Vienna, prima con l'intenzione di studiare fisica teorica, poi occupandosi di matematica e filosofia. Frequenta il Circolo di Vienna , studia Bertrand Russel, segue una conferenza di David Hilbert sopra le questioni di completezza e consistenza dei sistemi matematici tenuta al congresso internazionale di Bologna nel . Concentra quindi i suoi interessi sulla logica matematica e nel , dopo essere diventato cittadino austriaco , ottiene il dottorato con una dissertazione di cui ¨ supervisore Hans Hahn con la quale dimostra la completezza del calcolo dei predicati del primo ordine. Nel resta profondamente colpito dalla uccisione di Moritz Schlicht per mano di uno studente nazista ed ha una prima crisi nervosa. Successivamente trascorre un anno negli

    80. Porträt - Gödel
    Translate this page kurt Gödel wurde 1906 in Brünn geboren und verstarb 1978 in Princeton (USA), kurt Gödel, einer der wohl berühmtesten österreichischen Mathematiker und
    http://www.zahlenjagd.at/goedel.html
    Porträt: Kurt Gödel Kurt Gödel wurde 1906 in Brünn geboren und verstarb 1978 in Princeton (USA), wo er seit 1939 am Institute for Advanced Studies lehrte. Die sogenannten Grundlagen der Mathematik sind keineswegs so unumstritten wie es ein Laie vielleicht vermuten könnte. Es gibt durchaus im Widerstreit liegende Sichtweisen, die aber im praktischen Mathematikalltag kaum zur Diskussion gelangen. Nur bei Fragen der Mengentheorie, der Topologie, besonders aber in der Beweistheorie oder der Theorie der Berechenbarkeit und Entscheidbarkeit sind Gödels Überlegungen von Bedeutung. In der neuesten Entwicklung der Mathematik, vor allem durch die Entstehung der mathematischen Logik, hat der Algorithmenbegriff Bedeutung erlangt, weil sich mit seiner Hilfe die grundlegenden Begriffe der Entscheidbarkeit und Axiomatisier-barkeit einer formalisierten Theorie definieren lassen. Kurt Gödel, einer der wohl berühmtesten österreichischen Mathematiker und Logiker dieses Jahrhunderts publizierte vor mehr als 60 Jahren in den 'Monatsheften für Mathematik und Physik' den Unvollständigkeitssatz. Er ist heute jedem Mathematiker zumindest vom Ansatz her bekannt. Worum geht es in diesem Satz? Vor seinen Arbeiten war der von Hilbert begründete Formalismus seit 1880 in der Mathematik und in den Naturwissenschaften vorherrschend. Der Wunsch gewisse Widersprüche und Ungereimtheiten der Mathematik der vorangehenden Dekaden zu klären (nichteuklidische Geometrie, Mengenlehre) war vorhanden. Die Mathematik sollte in Rahmen

    A  B  C  D  E  F  G  H  I  J  K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z  

    Page 4     61-80 of 98    Back | 1  | 2  | 3  | 4  | 5  | Next 20

    free hit counter