A hypothesis leading to a natural law?: In late 1936 Alan Turing's paper (also proving that the Entscheidungsproblem is unsolvable) was delivered orally, but had not yet appeared in print.
Хипотеза која је довела до природног закона ?: Крајем 1936 Алан Тјурингов рад (такође доказује да је Entscheidungsproblem нерешив) је досрављен усмено, али се још није појавио у штампи.