Celebrities Feedback Rating Russian
Search

Most popular
Marat Gelman A.
Karatygin Pyotr Andreyevich
Inna PetrovaInna Petrova
Boris Messerer AsafovichBoris Messerer Asafovich
Viktor Ivanovich KorshunovViktor Ivanovich Korshunov
more persons......
News
Movies
Russia Is Great
Free mp3 download
Count of persons: 23163





All persons
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

Kurt GTdel (Gedel Kurt)

( Austrian mathematician.)

Comments for Kurt GTdel (Gedel Kurt)
Biography Kurt GTdel (Gedel Kurt)
(1906-1978)
Born April 28, 1906 in Brno. In 1924 entered the University of Vienna, in 1930 a doctorate in mathematics. In 1933-1938 - assistant professor, University of Vienna, in 1940 he emigrated to the U.S.. From 1953 until the end of life - a professor at Princeton Institute for Advanced Studies.
GTdel's thesis was devoted to the problem of completeness. In the 1930's were some results on the completeness of various axiomatic systems. For example, Gilbert is an artificial system, which covers part of arithmetic, proved its completeness and consistency. GTdel in his dissertation proved the completeness of predicate calculus of the first stage, and this gave hope to mathematicians that they will be able to prove the consistency and completeness of all mathematics. However, in 1931 the same Godel proved a theorem about incompleteness, dealt a crushing blow to those hopes. According to this theorem, any procedure of proof of true statements of elementary number theory is doomed to incompleteness. Consequently, the internal consistency of any mathematical theory can not be proved otherwise than by reaching out to another theory, using stronger assumptions, and therefore less reliable.

The methods used in the proof of GTdel's incompleteness theorems have played a further role in the theory of computing machines.

GTdel made an important contribution to the theory of sets. Two principle - the axiom of choice and the continuum hypothesis - for decades, did not respond to the proof, but interest has not waned: too attractive were their logical consequences. Godel proved (1938) that adherence to these principles to the usual axioms of set theory does not lead to a contradiction.

GTdel died in Princeton on Jan. 14, 1978.


User comments
Write comment
Write comment
Links by theme:
Kurt Becher (Becher)
Kurt Cobain (COBAIN Kurt)
Kurt Cobain (COBAIN Kurt)
Kurt Koffka

Kurt GTdel (Gedel Kurt), photo, biography
Kurt GTdel (Gedel Kurt), photo, biography Kurt GTdel (Gedel Kurt)  Austrian mathematician., photo, biography
RIN.ru - Russian Information Network
   
   
   
Copyright © RIN 2002 - * Feedback