375:. The Enigma machine that Hasenjaeger examined was a variation that worked with 3 rotors and had no plugboard. Germany sold this version to neutral countries to accrue foreign exchange. Hasenjaeger was presented with a 100 character encrypted message for analysis and found a weakness which enabled the identification of the correct wiring rotors and also the appropriate rotor positions, to decrypt the messages. Further success eluded him, however. He crucially failed to identify the most important weakness of the Enigma machine: the lack of fixed points (letters encrypting to themselves) due to the reflector. Hasenjaeger could take some comfort from the fact that even
608:
359:, who was widely considered the most important German cryptologist of his time. Hasenjaeger was put into a newly formed department, whose principal responsibility was the defensive testing and security control of their own methods and devices. Hasenjaeger was ordered, by the mathematician
1100:
595:
It was only in the 1970s that
Hasenjaeger learned that the Enigma Machine had been so comprehensively broken. It impressed him that Alan Turing himself, considered one of the greatest mathematicians of the 20th century, had worked on breaking the device. The fact that the Germans had so
383:, who used the knowledge to decrypt several hundred thousand Enigma messages during the war. In fact fixed points were earlier used by Polish codebreaker, Henryk Zygalski, as the basis for his method of attack on Enigma cipher, referred to by the Poles as "Zygalski sheets" (
418:
with identity and function symbols. Gödel's proof of 1930 for predicate logic did not automatically establish a procedure for the general case. When he had solved the problem in late 1949, he was frustrated to find that a young
American mathematician
1081:
Rebecca
Ratcliffe: How Statistics led the Germans to believe Enigma Secure and Why They Were Wrong: neglecting the practical Mathematics of Cipher machines Add:. Brian J. angle (eds.) The German Enigma Cipher Machine. Artech House: Boston, London of
1107:
322:
In 1962, Dr
Hasenjaeger left Münster University to take a full professorship at Bonn University, where he became Director of the newly established Department of Logic and Basic Research. In 1964/65, he spent a year at
1093:
31:
566:
in 2012. Rainer
Glaschick, Turlough Neary, Damien Woods, Niall Murphy had examined Hasenjaeger's UTM machine at the request of Hasenjaeger family and found that the UTM was remarkably small and efficiently
549:
out of old telephone relays. Although
Hasenjaeger's work on UTMs was largely unknown and he never published any details of the machinery during his lifetime, his family decided to donate the machine to the
427:, which is then the model for the initial theory. Although the Henkin proof was considered by Hasenjaeger and his peers to be more flexible, Hasenjaeger's is considered simpler and more transparent.
993:
Neary, Turlough; Woods, Damien; Murphy, Niall; Glaschick, Rainer (October 2014). "Wang's B machines are efficiently universal, as is
Hasenjaeger's small universal electromechanical toy".
1078:
Rebecca
Ratcliffe: Searching for Security. The German Investigations into Enigma's security. In: Intelligence and National Security 14 (1999) Issue 1 (Special Issue) S.146–167.
596:
comprehensively underestimated the weaknesses of the device, in contrast to Turing and
Welchman's work, was seen by Hasenjaeger today as entirely positive. Hasenjaeger stated:
491:
526:
250:
725:
1656:
1728:
1154:
266:
903:
A Most
Interesting Draft for Hilbert and Bernays' "Grundlagen der Mathematik" that never found its way into any publication, and two CV of Gisbert Hasenjaeger
583:. Hasenjaeger went on to build a small efficient Wang B-machine simulator. This was again proven by the team assembled by Rainer Glaschick to be efficiently
1614:
493:. So far down in the arithmetic hierarchy, and that goes for any recursively axiomatized (countable, consistent) theories. Even if you are true in all the
446:
of formulas is the set of arithmetical propositions that are true in the standard model, but not arithmetically definable. So, what does the concept of
1733:
531:
This classic proof is a very early, original application of the arithmetic hierarchy theory to a general-logical problem. It appeared in 1953 in the
253:
was a lawyer and local politician. After completing school in 1936, Gisbert volunteered for labor service. He was drafted for military service in
1723:
352:
230:
36:
315:(Yellow series of Springer-Verlag), which he published in 1961 fully 6 years after Scholz's death. In 1962, he became a professor at the
1698:
600:
Would it not been so, then the war would have lasted probably longer and the first atomic bomb had not fallen on Japan, but on Germany.
1567:
1477:
1693:
1046:
930:
855:
946:
Hasenjaeger, G. (1953). "Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe".
1283:
729:
430:
Hasenjaeger continued to refine his proof through to 1953 when he made a breakthrough. According to the mathematicians
408:
214:
119:
1631:
1708:
1688:
1346:
1718:
1203:
863:
1402:
673:
399:
University in Münster in the period between 1946 and 1953 that Hasenjaeger made a most amazing discovery - a
1713:
1366:
1258:
328:
258:
1085:
1198:
360:
278:
277:, and was put into the recently founded Section IVa "Security check of own Encoding Procedures" under
1703:
1590:
533:
464:
307:
In Münster, Hasenjaeger worked as an assistant to Scholz and later co-author, to write the textbook
546:
499:
289:, the United States effort to roundup and seize captured German intelligence people and material.
151:
102:
30:
1361:
443:
368:
793:
Hasenjaeger knew Scholz since his school days and corresponded with him during his time as a
1248:
571:. Hasenjaeger UTM contained 3-tapes, 4 states, 2 symbols and was an evolution of ideas from
396:
297:
1683:
1678:
1117:
1012:
551:
324:
159:
8:
1326:
751:
Schmeh, Klaus (15 September 2009). "Enigma's Contemporary Witness: Gisbert Hasenjaeger".
627:
Schmeh, Klaus (18 September 2009). "Enigma's Contemporary Witness: Gisbert Hasenjaeger".
584:
576:
568:
435:
1183:
1016:
356:
274:
1580:
1188:
1028:
1002:
971:
963:
776:
685:
644:
424:
400:
316:
155:
1223:
1527:
1416:
1376:
1351:
1311:
1218:
926:
851:
780:
768:
648:
439:
1575:
1341:
1032:
975:
292:
From the end of 1945, he studied mathematics and especially mathematical logic with
181:
1532:
1411:
1291:
1253:
1163:
1050:
1020:
955:
875:
760:
636:
613:
451:
261:, where he was badly wounded in January 1942. After his recovery, in October 1942,
166:
1557:
1047:"Hasenjaeger's electromechanical small universal Turing machine is time efficient"
1537:
1485:
1456:
1391:
1386:
1301:
1213:
818:
572:
494:
458:
415:
384:
380:
302:
Topological studies on the semantics and syntax of an extended predicate calculus
293:
262:
226:
222:
171:
1331:
285:. At the end of the war as OKW/Chi disintegrated, Hasenjaeger managed to escape
1552:
1547:
1451:
1441:
1371:
1336:
1263:
1233:
1178:
580:
364:
282:
234:
113:
1024:
764:
640:
1672:
1605:
1542:
1522:
1381:
1316:
1268:
1193:
772:
447:
431:
372:
332:
185:
669:
404:
218:
1585:
1517:
1461:
1446:
1321:
1306:
1296:
1273:
1243:
1173:
1168:
823:
794:
454:
270:
254:
1436:
1356:
1238:
1115:
420:
376:
210:
203:
137:
35:
Picture of Gisbert Hasenjaeger in his identity papers during his time at
1049:. Department of History and Philosophy Universiteit Gent. Archived from
1228:
967:
80:
57:
246:
76:
555:
355:, Hasenjaeger was trained in cryptology, given by the mathematician,
959:
848:
Entzifferte Geheimnisse — Methoden und Maximen der Kryptologie
1509:
1427:
1007:
319:, where he was Director of the newly created Department of Logic.
559:
411:
387:) (płachty Zygalskiego) and by the British as the "Netz method".
269:(OKW/Chi), where he was the youngest member at 24. He attended a
92:
423:, had also created a proof. Both construct from extension of a
1472:
564:
International Conference of History and Philosophy of Computing
286:
206:
141:
379:
missed this weakness. Instead, the honour was attributed to
819:"Enigma Contemporary Witness - Enigma Vulnerability Part 3"
367:
for cryptologic weaknesses, while Stein was to examine the
590:
992:
562:, after his death. In an academic paper presented at the
450:
for the term model mean, the results for the recursively
1657:
German Radio Intelligence Operations during World War II
390:
300:
University in Münster. In 1950 received his doctorate
1144:
267:
Cipher Department of the High Command of the Wehrmacht
726:"Laudatio anläßlich der Erneuerung der Doktorurkunde"
502:
467:
603:
363:
who was also conscripted at OKW/Chi, to examine the
346:
1500:
845:
540:
520:
485:
1670:
921:Cooper, S. Barry; Leeuwen, J. van (3 Jun 2013).
457:from the Hasenjaeger method? The result was the
202:(June 1, 1919 – September 2, 2006) was a German
116:encryption machine for cryptographic weaknesses.
728:. WWU Münster Mathematik: Logik. Archived from
338:Hasenjaeger became professor emeritus in 1984.
233:, and was responsible for the security of the
1101:
920:
916:
914:
912:
281:, who assigned him the security check of the
231:Oberkommando der Wehrmacht Chiffrierabteilung
1729:Academic staff of the University of Münster
945:
245:Gisbert Hasenjaeger went to high school in
1108:
1094:
909:
29:
1568:Research Office of the Reich Air Ministry
1006:
839:
213:in 1949, he developed a new proof of the
1734:Academic staff of the University of Bonn
988:
986:
939:
395:It was while Hasenjaeger was working at
351:In October 1942, after starting work at
304:and completed his habilitation in 1953.
209:. Independently and simultaneously with
1508:
813:
811:
809:
807:
805:
803:
686:"Past Professors at Münster University"
663:
591:Comments on the Enigma Machine weakness
331:His doctoral students at Bonn included
1671:
750:
678:
626:
257:, and fought as an artillerist in the
1724:German Army personnel of World War II
1089:
983:
900:
720:
718:
716:
714:
712:
710:
708:
706:
391:Proof of Gödel's completeness theorem
1155:Wehrmacht High Command Cipher Bureau
850:(3 ed.). Heidelberg: Springer.
800:
1039:
901:Wirth, Claus-Peter (4 March 2018).
461:is well arithmetically, it is even
13:
1699:20th-century German mathematicians
1072:
703:
504:
469:
309:Fundamentals of Mathematical Logic
14:
1745:
1632:Heer and Luftwaffe Signals School
1284:General der Nachrichtenaufklärung
925:. Elsevier Science. p. 936.
397:Westfälische Wilhelms-Universität
347:Safety Testing the Enigma Machine
298:Westfälische Wilhelms-Universität
923:Alan Turing: His Work and Impact
606:
240:
16:German mathematician (1919–2006)
620:
575:'s first universal machine and
541:Construction of Turing Machines
486:{\displaystyle \Delta _{2}^{0}}
225:. He worked as an assistant to
894:
868:
827:. Klaus Schmeh. 29 August 2005
787:
744:
1:
1403:Luftnachrichten Abteilung 350
674:Mathematics Genealogy Project
656:
545:In 1963, Hasenjaeger built a
313:Springer's Grundlehren series
1694:University of Münster alumni
1347:Bruno von Freytag-Löringhoff
521:{\displaystyle \Pi _{1}^{0}}
329:Institute for Advanced Study
7:
876:"IAS - Gisbert Hasenjeager"
846:Friedrich L. Bauer (2000).
10:
1750:
265:got him employment in the
118:Developing a proof of the
1651:
1630:
1613:
1603:
1591:Prince Christoph of Hesse
1566:
1498:
1470:
1425:
1400:
1282:
1152:
1142:
1125:
1120:organisations before 1945
1025:10.1016/j.jco.2014.02.003
948:Journal of Symbolic Logic
765:10.1080/01611190903186003
641:10.1080/01611190903186003
534:Journal of Symbolic Logic
335:, his most famous pupil.
251:Edwin Renatus Hasenjaeger
200:Gisbert F. R. Hasenjaeger
193:
177:
165:
147:
133:
126:
108:
98:
88:
65:
43:
28:
23:Gisbert F. R. Hasenjaeger
21:
1129:The Type of organisation
691:. wwmath.uni-muenster.de
547:Universal Turing machine
528:formulas to the axioms.
341:
189:Peter Schroeder-Heister
1709:Mathematical logicians
1689:People from Hildesheim
905:. Saarland University.
602:
522:
487:
444:Arithmetical hierarchy
369:Siemens and Halske T52
1719:German cryptographers
1615:GdNA Training Referat
995:Journal of Complexity
598:
523:
488:
152:University of Münster
1362:Rudolf Kochendörffer
1132:Name of organisation
1118:Signals intelligence
552:Heinz Nixdorf Museum
500:
465:
409:Gödel's completeness
325:Princeton University
160:Princeton University
1714:German male writers
1327:Herbert von Denffer
1209:Gisbert Hasenjaeger
1017:2013arXiv1304.0053N
670:Gisbert Hasenjaeger
517:
482:
436:Stephen Cole Kleene
273:training course by
249:, where his father
1581:Gottfried Schapper
1249:Oswald Teichmüller
1189:Peter Novopashenny
518:
503:
483:
468:
317:University of Bonn
229:at Section IVa of
156:University of Bonn
103:Münster University
1666:
1665:
1647:
1646:
1599:
1598:
1528:Rudolf Schauffler
1494:
1493:
1417:Ferdinand Voegele
1377:Hans-Peter Luzius
1352:Johannes Marquart
1219:Werner Liebknecht
932:978-0-12-386980-7
857:978-3-540-67931-8
732:on 31 August 2012
440:Andrzej Mostowski
197:
196:
178:Doctoral students
128:Scientific career
69:September 2, 2006
1741:
1704:German logicians
1611:
1610:
1607:
1533:Johannes Benzing
1506:
1505:
1502:
1479:
1412:Wolfgang Martini
1292:Erich Fellgiebel
1254:Alexander Aigner
1184:Erich Hüttenhain
1164:Erich Fellgiebel
1150:
1149:
1146:
1110:
1103:
1096:
1087:
1086:
1066:
1065:
1063:
1061:
1056:on 19 March 2014
1055:
1043:
1037:
1036:
1010:
990:
981:
979:
943:
937:
936:
918:
907:
906:
898:
892:
891:
889:
887:
872:
866:
864:German Knowledge
861:
843:
837:
836:
834:
832:
815:
798:
791:
785:
784:
748:
742:
741:
739:
737:
722:
701:
700:
698:
696:
690:
682:
676:
667:
652:
616:
614:Biography portal
611:
610:
609:
527:
525:
524:
519:
516:
511:
492:
490:
489:
484:
481:
476:
455:Peano arithmetic
357:Erich Hüttenhain
333:Ronald B. Jensen
275:Erich Hüttenhain
259:Russian campaign
167:Doctoral advisor
122:theorem in 1949.
72:
54:
52:
33:
19:
18:
1749:
1748:
1744:
1743:
1742:
1740:
1739:
1738:
1669:
1668:
1667:
1662:
1643:
1626:
1595:
1562:
1538:Otfried Deubner
1490:
1486:Wilhelm Canaris
1466:
1457:Erhard Maertens
1421:
1396:
1392:Alfred Kneschke
1387:Rudolf Bailovic
1302:Wilhelm Gimmler
1278:
1224:Gottfried Köthe
1214:Heinrich Scholz
1138:
1121:
1114:
1075:
1073:Further reading
1070:
1069:
1059:
1057:
1053:
1045:
1044:
1040:
991:
984:
960:10.2307/2266326
944:
940:
933:
919:
910:
899:
895:
885:
883:
874:
873:
869:
858:
844:
840:
830:
828:
817:
816:
801:
792:
788:
749:
745:
735:
733:
724:
723:
704:
694:
692:
688:
684:
683:
679:
668:
664:
659:
623:
612:
607:
605:
593:
573:Edward F. Moore
543:
512:
507:
501:
498:
497:
495:natural numbers
477:
472:
466:
463:
462:
459:truth predicate
416:predicate logic
393:
385:Zygalski sheets
381:Gordon Welchman
349:
344:
294:Heinrich Scholz
263:Heinrich Scholz
243:
227:Heinrich Scholz
223:predicate logic
188:
184:
172:Heinrich Scholz
158:
154:
140:
117:
84:
74:
70:
61:
55:
50:
48:
39:
24:
17:
12:
11:
5:
1747:
1737:
1736:
1731:
1726:
1721:
1716:
1711:
1706:
1701:
1696:
1691:
1686:
1681:
1664:
1663:
1661:
1660:
1652:
1649:
1648:
1645:
1644:
1642:
1641:
1636:
1634:
1628:
1627:
1625:
1624:
1619:
1617:
1608:
1604:Training
1601:
1600:
1597:
1596:
1594:
1593:
1588:
1583:
1578:
1576:Hermann Göring
1572:
1570:
1564:
1563:
1561:
1560:
1555:
1553:Erika Pannwitz
1550:
1548:Helmut Grunsky
1545:
1540:
1535:
1530:
1525:
1520:
1514:
1512:
1503:
1499:Civilian
1496:
1495:
1492:
1491:
1489:
1488:
1482:
1480:
1468:
1467:
1465:
1464:
1459:
1454:
1452:Wilhelm Tranow
1449:
1444:
1442:Ludwig Stummel
1439:
1433:
1431:
1423:
1422:
1420:
1419:
1414:
1408:
1406:
1398:
1397:
1395:
1394:
1389:
1384:
1379:
1374:
1372:Guido Hoheisel
1369:
1364:
1359:
1354:
1349:
1344:
1342:Friedrich Böhm
1339:
1337:Horst Schubert
1334:
1329:
1324:
1319:
1314:
1309:
1304:
1299:
1294:
1288:
1286:
1280:
1279:
1277:
1276:
1271:
1266:
1264:Otto Leiberich
1261:
1256:
1251:
1246:
1241:
1236:
1234:Helmut Grunsky
1231:
1226:
1221:
1216:
1211:
1206:
1204:Wolfgang Franz
1201:
1196:
1191:
1186:
1181:
1179:Wilhelm Fenner
1176:
1171:
1166:
1160:
1158:
1147:
1143:Military
1140:
1139:
1137:
1136:
1133:
1130:
1126:
1123:
1122:
1113:
1112:
1105:
1098:
1090:
1084:
1083:
1079:
1074:
1071:
1068:
1067:
1038:
1001:(5): 634–646.
982:
938:
931:
908:
893:
867:
856:
838:
799:
786:
759:(4): 343–346.
743:
702:
677:
661:
660:
658:
655:
654:
653:
635:(4): 343–346.
622:
619:
618:
617:
592:
589:
542:
539:
515:
510:
506:
480:
475:
471:
392:
389:
365:Enigma machine
348:
345:
343:
340:
283:Enigma machine
242:
239:
235:Enigma machine
195:
194:
191:
190:
182:Dieter Rödding
179:
175:
174:
169:
163:
162:
149:
145:
144:
135:
131:
130:
124:
123:
110:
109:Known for
106:
105:
100:
96:
95:
90:
86:
85:
75:
73:(aged 87)
67:
63:
62:
56:
45:
41:
40:
34:
26:
25:
22:
15:
9:
6:
4:
3:
2:
1746:
1735:
1732:
1730:
1727:
1725:
1722:
1720:
1717:
1715:
1712:
1710:
1707:
1705:
1702:
1700:
1697:
1695:
1692:
1690:
1687:
1685:
1682:
1680:
1677:
1676:
1674:
1659:
1658:
1654:
1653:
1650:
1640:
1638:
1637:
1635:
1633:
1629:
1623:
1621:
1620:
1618:
1616:
1612:
1609:
1602:
1592:
1589:
1587:
1584:
1582:
1579:
1577:
1574:
1573:
1571:
1569:
1565:
1559:
1558:Karl Schröter
1556:
1554:
1551:
1549:
1546:
1544:
1543:Hans Rohrbach
1541:
1539:
1536:
1534:
1531:
1529:
1526:
1524:
1523:Horst Hauthal
1521:
1519:
1516:
1515:
1513:
1511:
1507:
1504:
1497:
1487:
1484:
1483:
1481:
1475:
1474:
1469:
1463:
1460:
1458:
1455:
1453:
1450:
1448:
1445:
1443:
1440:
1438:
1435:
1434:
1432:
1430:
1429:
1424:
1418:
1415:
1413:
1410:
1409:
1407:
1405:
1404:
1399:
1393:
1390:
1388:
1385:
1383:
1382:Wilhelm Vauck
1380:
1378:
1375:
1373:
1370:
1368:
1365:
1363:
1360:
1358:
1355:
1353:
1350:
1348:
1345:
1343:
1340:
1338:
1335:
1333:
1330:
1328:
1325:
1323:
1320:
1318:
1317:Otto Buggisch
1315:
1313:
1312:Fritz Boetzel
1310:
1308:
1305:
1303:
1300:
1298:
1295:
1293:
1290:
1289:
1287:
1285:
1281:
1275:
1272:
1270:
1269:Otto Buggisch
1267:
1265:
1262:
1260:
1257:
1255:
1252:
1250:
1247:
1245:
1242:
1240:
1237:
1235:
1232:
1230:
1227:
1225:
1222:
1220:
1217:
1215:
1212:
1210:
1207:
1205:
1202:
1200:
1197:
1195:
1194:Walter Fricke
1192:
1190:
1187:
1185:
1182:
1180:
1177:
1175:
1172:
1170:
1167:
1165:
1162:
1161:
1159:
1157:
1156:
1151:
1148:
1141:
1134:
1131:
1128:
1127:
1124:
1119:
1111:
1106:
1104:
1099:
1097:
1092:
1091:
1088:
1080:
1077:
1076:
1052:
1048:
1042:
1034:
1030:
1026:
1022:
1018:
1014:
1009:
1004:
1000:
996:
989:
987:
977:
973:
969:
965:
961:
957:
953:
949:
942:
934:
928:
924:
917:
915:
913:
904:
897:
881:
877:
871:
865:
859:
853:
849:
842:
826:
825:
820:
814:
812:
810:
808:
806:
804:
796:
790:
782:
778:
774:
770:
766:
762:
758:
754:
747:
731:
727:
721:
719:
717:
715:
713:
711:
709:
707:
687:
681:
675:
671:
666:
662:
650:
646:
642:
638:
634:
630:
625:
624:
615:
604:
601:
597:
588:
586:
582:
578:
574:
570:
565:
561:
557:
553:
548:
538:
536:
535:
529:
513:
508:
496:
478:
473:
460:
456:
453:
449:
445:
441:
437:
433:
432:Alfred Tarski
428:
426:
422:
417:
413:
410:
406:
402:
398:
388:
386:
382:
378:
374:
370:
366:
362:
358:
354:
339:
336:
334:
330:
326:
320:
318:
314:
310:
305:
303:
299:
295:
290:
288:
284:
280:
276:
272:
268:
264:
260:
256:
252:
248:
241:Personal life
238:
236:
232:
228:
224:
220:
216:
212:
208:
205:
201:
192:
187:
186:Ronald Jensen
183:
180:
176:
173:
170:
168:
164:
161:
157:
153:
150:
146:
143:
139:
136:
132:
129:
125:
121:
115:
111:
107:
104:
101:
97:
94:
91:
87:
82:
78:
68:
64:
59:
46:
42:
38:
32:
27:
20:
1655:
1639:
1622:
1586:Hans Schimpf
1518:Curt Selchow
1471:
1462:Fritz Krauss
1447:Heinz Bonatz
1426:
1401:
1367:Hans Pietsch
1332:Ludwig Föppl
1322:Fritz Menzer
1307:Hugo Kettler
1297:Fritz Thiele
1274:Fritz Menzer
1259:Werner Weber
1244:Georg Aumann
1208:
1174:Hugo Kettler
1169:Albert Praun
1153:
1058:. Retrieved
1051:the original
1041:
998:
994:
980:Gödel proof.
954:(1): 42–48.
951:
947:
941:
922:
902:
896:
884:. Retrieved
879:
870:
847:
841:
829:. Retrieved
824:Heise Online
822:
789:
756:
752:
746:
734:. Retrieved
730:the original
693:. Retrieved
680:
665:
632:
628:
621:Bibliography
599:
594:
563:
544:
532:
530:
429:
394:
373:Lorenz SZ-42
350:
337:
321:
312:
308:
306:
301:
291:
271:cryptography
255:World War II
244:
215:completeness
204:mathematical
199:
198:
148:Institutions
127:
120:completeness
112:Testing the
71:(2006-09-02)
47:June 1, 1919
1684:2006 deaths
1679:1919 births
1437:Kurt Fricke
1357:Willi Rinow
1239:Georg Hamel
880:www.ias.edu
862:Cited from
753:Cryptologia
736:17 February
629:Cryptologia
452:axiomatized
421:Leon Henkin
377:Alan Turing
217:theorem of
211:Leon Henkin
138:Mathematics
89:Citizenship
1673:Categories
1229:Ernst Witt
1199:Karl Stein
657:References
425:term model
405:Kurt Gödel
361:Karl Stein
279:Karl Stein
219:Kurt Gödel
81:Westphalia
58:Hildesheim
1008:1304.0053
795:conscript
781:205487783
773:0161-1194
695:6 January
649:205487783
585:universal
581:B-machine
569:universal
556:Paderborn
505:Π
470:Δ
414:for full
99:Education
83:, Germany
60:, Germany
1510:Pers Z S
1428:B-Dienst
1060:18 March
1033:18828226
976:45705695
577:Hao Wang
371:and the
207:logician
1116:German
1013:Bibcode
968:2266326
886:20 July
831:2 March
672:at the
560:Germany
412:theorem
353:OKW/Chi
327:at the
296:at the
247:Mülheim
77:Münster
51:1919-06
49: (
37:OKW/Chi
1476:
1473:Abwehr
1135:People
1031:
974:
966:
929:
854:
779:
771:
647:
442:, the
134:Fields
114:Enigma
93:German
1082:2005.
1054:(PDF)
1029:S2CID
1003:arXiv
972:S2CID
964:JSTOR
882:. IAS
777:S2CID
689:(PDF)
645:S2CID
448:truth
401:proof
287:TICOM
142:Logic
1062:2014
927:ISBN
888:2016
852:ISBN
833:2014
769:ISSN
738:2014
697:2014
438:and
342:Work
221:for
66:Died
44:Born
1606:(?)
1501:(?)
1478:(?)
1145:(?)
1021:doi
956:doi
761:doi
637:doi
579:'s
554:in
407:'s
403:of
311:in
1675::
1027:.
1019:.
1011:.
999:30
997:.
985:^
970:.
962:.
952:18
950:.
911:^
878:.
821:.
802:^
775:.
767:.
757:33
755:.
705:^
643:.
633:33
631:.
587:.
558:,
537:.
434:,
237:.
79:,
1109:e
1102:t
1095:v
1064:.
1035:.
1023::
1015::
1005::
978:.
958::
935:.
890:.
860:.
835:.
797:.
783:.
763::
740:.
699:.
651:.
639::
514:0
509:1
479:0
474:2
53:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.