1936
ID: 370
Alonzo Church proves the undecidability of first-order logic (Church's Theorem) and develops lambda calculus
ID: 370
1936
ID: 371
Alan Turing publishes 'On Computable Numbers', introducing Turing machines and proving the halting problem is undecidable
ID: 371
1936
ID: 401
Gentzen proves consistency of Peano arithmetic using transfinite induction up to ε₀
ID: 401
1936
ID: 412
Dénes Kőnig publishes 'Theorie der endlichen und unendlichen Graphen', first comprehensive graph theory textbook
ID: 412
1936
ID: 1442
Lew Wasserman joins MCA; Lucky Luciano convicted by Thomas Dewey
ID: 1442
1936
ID: 1443
IG Farben becomes key partner in Hermann Göring's Four Year Plan, integral to German rearmament
ID: 1443
1936
ID: 1444
American Accounting Association founded to advance accounting education and research in universities
ID: 1444
1936
ID: 1445
According to Albert Vassart's 1955 testimony, Moscow orders Communist Youth to enter seminaries and become priests
ID: 1445
1936
ID: 1446
30,250 Catholic priests in United States (20,836 diocesan, 9,414 religious orders)
ID: 1446
1936
ID: 1447
23,579 students in Catholic seminaries
ID: 1447
1936
ID: 1448
Turing proves undecidability of halting problem - Mathematical proof that some computational problems cannot be solved algorithmically
ID: 1448
1936
ID: 1449
White infiltrates Chinese gang Hip Sing Tong drug organization, establishing pattern of FBN-organized crime cooperation (1936-1938)
ID: 1449
1936
ID: 1450
Little Brothers of Jesus founded on Foucauld's spirituality - Living contemplation among the poorest
ID: 1450
1936
ID: 1451
Little Sisters of Jesus founded by Sr. Magdeleine - Follow Foucauld's way among Muslims, nomads, prisoners
ID: 1451
1936
ID: 1452
Spanish Civil War - 13 bishops, 4,000 priests martyred (1936-1939) - Martyrs die crying 'Viva Cristo Rey!'
ID: 1452
1936
ID: 1453
St. Leopold Mandić spends 15 hours daily in confessional - 'I am crucified in the confessional'
ID: 1453
1936
ID: 4237
IBM introduces Type 601 Multiplying Punch with relay-based calculation - 100 cards per minute
ID: 4237
1936
ID: 4487
Alonzo Church independently develops lambda calculus for computability
ID: 4487
1936
ID: 4582
Alonzo Church develops lambda calculus - foundation for functional programming
ID: 4582
1936
ID: 4612
Alan Turing invents Turing machine - mathematical model of computation, defines algorithm
ID: 4612