about
On the interpretation of intuitionistic number theoryOn notation for ordinal numbersPrograms=data=first-class citizens in a computational world.Formalism and intuition in computability.An informal exposition of proofs of Gödel's theorems and Church's theoremComputability and RecursionGödel’s Incompleteness Phenomenon—ComputationallyRemarks on the development of computabilityOn automorphisms of arbitrary mathematical systemsKalmár's Argument Against the Plausibility of Church's Thesis
P2860
Q29038352-56AE46E0-733C-4A0F-BEC8-6689214E8674Q29544450-9DF76F6D-C364-4AE8-8B72-0E379E52C062Q34308604-98277B1E-20FA-4FBB-B84F-E932A3221DF9Q51353381-FCDE5351-1DE4-4635-8F0A-7E808D1EBECCQ55886422-EB6FA334-7962-47B2-85A4-28632DD45B7CQ55890014-E86D9E6D-9CFE-4EDB-9157-91BD069B57E7Q57533036-D937E144-C12B-4853-AE87-A33F386BC2E4Q58438143-15C5508B-4332-4BA6-851B-43E1C2A03906Q58440474-753F1888-CB8E-4B4F-8525-1E66819FDDAEQ58527008-95FE13D1-98A5-474D-B5F1-3F23E2EFC256
P2860
description
im Dezember 1936 veröffentlichter wissenschaftlicher Artikel
@de
wetenschappelijk artikel
@nl
наукова стаття, опублікована в грудні 1936
@uk
name
General recursive functions of natural numbers
@en
General recursive functions of natural numbers
@nl
type
label
General recursive functions of natural numbers
@en
General recursive functions of natural numbers
@nl
prefLabel
General recursive functions of natural numbers
@en
General recursive functions of natural numbers
@nl
P356
P1476
General recursive functions of natural numbers
@en
P2093
S. C. Kleene
P2888
P304
P356
10.1007/BF01565439
P577
1936-12-01T00:00:00Z