| Europass Curriculum Vitae |
Kurt Gödel
http://kurtgodel.eurocv.eu
|
||||||||||||
| PERSONAL INFORMATION | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| First Name, Surname | Kurt, Gödel | ||||||||||||
| demo2@eurocv.eu | |||||||||||||
| Place and date of birth | Czech Republic Brno 28-04-1906 | ||||||||||||
| Gender | Male | ||||||||||||
| WORK EXPERIENCE | |||||||||||||
| Date (from - to) | 12/1953 - 14/01/1978 | ||||||||||||
| Name and address of employer | University of Princeton | ||||||||||||
| Type of business or sector | Teaching | ||||||||||||
| Occupation or position held | Ordinary member | ||||||||||||
| Main activities and responsibilities | I held a chair at Princeton from 1953 until my death, holding a contract which explicitly stated that I had no lecturing duties. | ||||||||||||
| Date (from - to) | 01/1940 - 12/1953 | ||||||||||||
| Name and address of employer | Institute for Advanced Study | ||||||||||||
| Type of business or sector | Teaching | ||||||||||||
| Occupation or position held | Ordinary member | ||||||||||||
| Main activities and responsibilities | I was an ordinary member of the Institute for Advanced Study from 1940 to 1946 (holding year long appointments which were renewed every year), then I was a permanent member until 1953. | ||||||||||||
| Date (from - to) | 01/1938 - 12/1938 | ||||||||||||
| Name and address of employer | University of Göttingen | ||||||||||||
| Type of business or sector | Teaching | ||||||||||||
| Occupation or position held | Lecturer | ||||||||||||
| Main activities and responsibilities | I visited Göttingen in the summer of 1938, lecturing there on my set theory research. | ||||||||||||
| Date (from - to) | 01/1934 - 12/1934 | ||||||||||||
| Name and address of employer | University of Princeton | ||||||||||||
| Type of business or sector | Teaching | ||||||||||||
| Occupation or position held | Lecturer | ||||||||||||
| Main activities and responsibilities | I gave a series of lectures at Princeton entitled On undecidable propositions of formal mathematical systems. | ||||||||||||
| Date (from - to) | 01/12/1932 - 31/12/1933 | ||||||||||||
| Name and address of employer | University of Vienna | ||||||||||||
| Type of business or sector | Teaching | ||||||||||||
| Occupation or position held | Privatdozent | ||||||||||||
| Main activities and responsibilities | Submitting my paper on incompleteness to the University of Vienna for my habilitation, this was accepted by Hahn on 1 December 1932. I became a Privatdozent at the University of Vienna in March 1933. | ||||||||||||
| Date (from - to) | 01/1930 - 01/01/1932 | ||||||||||||
| Name and address of employer | University of Vienna | ||||||||||||
| Type of business or sector | Mathematichs | ||||||||||||
| Occupation or position held | Member of the faculty | ||||||||||||
| Main activities and responsibilities | I belonged to the school of logical positivism until 1938 | ||||||||||||
| EDUCATION AND TRAINING | |||||||||||||
| Date (from - to) | 01/1923 - 12/1929 | ||||||||||||
| Name and type of organisation providing education or training | University of Vienna | ||||||||||||
| Principal subjects/occupational skills covered | I completed my doctoral dissertation under Hahn's supervision in 1929 submitting a thesis proving the completeness of the first order functional calculus. | ||||||||||||
| Title of certification awarded | Doctor in Mathematichs | ||||||||||||
| OTHER LANGUAGES | |||||||||||||
| Native Language | German | ||||||||||||
| Self-assessment | Understanding | Speaking | Writing | ||||||||||
| European level | Listening | Reading | Spoken interaction | Spoken production | |||||||||
| English | C2 |
Proficient user | C2 |
Proficient user | C2 |
Proficient user | C2 |
Proficient user | C2 |
Proficient user | |||
| Common European Framework of Reference (CEF) level | |||||||||||||
| SKILLS AND COMPETENCES | |||||||||||||
| PERSONAL SKILLS AND COMPETENCES Acquired in the course of life and career but not necessarily covered by formal certificates and diplomas. |
I gained some awards in recognition of my work. I received the National Medal of Science in 1974. I received the Einstein Award in 1951. I was a member of the National Academy of Sciences of the United States, a fellow of the Royal Society, a member of the Institute of France, a fellow of the Royal Academy and an Honorary Member of the London Mathematical Society. | ||||||||||||
| SOCIAL SKILLS AND COMPETENCES Living and working with other people, in multicultural environments, in positions where communication is important and situations where teamwork is essential (for example culture and sports), etc |
After settling in the United States, I produced work of the greatest importance. My masterpiece Consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory (1940) is a classic of modern mathematics. In this I proved that if an axiomatic system of set theory of the type proposed by Russell and Whitehead in Principia Mathematica is consistent, then it will remain so when the axiom of choice and the generalized continuum-hypothesis are added to the system. This did not prove that these axioms were independent of the other axioms of set theory, but when this was finally established by Cohen in 1963 he built on these my ideas. | ||||||||||||
| ORGANISATIONAL SKILLS AND COMPETENCES Coordination and administration of people, projects and budgets; at work, in voluntary work (for example culture and sports), at home, etc |
In 1940 I arrived in the United States, becoming a U.S. citizen in 1948. One of my closest friends at Princeton was Einstein. We each had a high regard for the other and we spoke frequently. It is unclear how much Einstein influenced me to work on relativity, but he did indeed contribute to that subject. | ||||||||||||
| TECHNICAL SKILLS AND COMPETENCES With computers, specific kinds of equipment, machinery, etc |
After settling in the United States, I produced work of the greatest importance. My masterpiece Consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory (1940) is a classic of modern mathematics. In this I proved that if an axiomatic system of set theory of the type proposed by Russell and Whitehead in Principia Mathematica is consistent, then it will remain so when the axiom of choice and the generalized continuum-hypothesis are added to the system. This did not prove that these axioms were independent of the other axioms of set theory, but when this was finally established by Cohen in 1963 he built on these my ideas. | ||||||||||||