From afaafd859c5ce44511e4a7f9b872e94d09d9328a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Tue, 2 Jan 2024 09:49:20 +0100 Subject: [PATCH] initial commit --- .gitignore | 1 + goedel.tex | 37 +++++++++++++++++++++++++++++++++++++ 2 files changed, 38 insertions(+) create mode 100644 .gitignore create mode 100644 goedel.tex diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..84c048a --- /dev/null +++ b/.gitignore @@ -0,0 +1 @@ +/build/ diff --git a/goedel.tex b/goedel.tex new file mode 100644 index 0000000..601b73d --- /dev/null +++ b/goedel.tex @@ -0,0 +1,37 @@ +\documentclass[ngerman]{scrartcl} + +\usepackage{mkessler-math} +\usepackage{babel} +\usepackage{csquotes} + +\title{Kurt Goedel - Leben und Werk} +\subtitle{Kurs auf der CdE-Winteraka 2023/2024} +\author{Merlin Carl\thanks{Mitschrift von Maximilian Keßler}} + +\begin{document} + \maketitle + + +\section{Einleitung} + +\large{Steckbrief von Kurt Gödel} + +\begin{itemize} + \item Geboren am 28.06.1906 (Brünn, Mähren (Tschechien, damals Österreich-Ungarn)) + \item Vater Rudolf Gödel (Manager einer Textilfabrik), Mutter Marianne Gödel (geb. Handschuh), Bruder ? Gödel) + \item Ab 1924: Studium in Wien (Physik, Mathematik, Philosophie) + \item 1929: Österreichische Staatsbürgerschaft; \\ + Promotion (Beweis des Vollständigkeitssatzes) + \item 1930: Unvollständigkeitssätze + \item 1935: Relative Konsistenz des Auswahlaxioms \\ + Heirat mit Adele Nimbursky (geb. Porkert) + \item 1937: Relative Konsistenz der Kontinuumshypothese + \item 1940: Emigration in die USA (Princeton); Mitglied des IAS Geschlossene zeitartige Kuriven + \item 1941: Ontologischer Gottesbeweise + \item 1948: Amerikanische Staatsbürgerschaft + \item 1951: Albert Einstein Award; 1957 National Medal of Science etc. + \item 1953: Professur am IAS + \item 1956: Emeritierung +\end{itemize} + +\end{document}