Church's thesis
Logic and Mathematics
noun
The proposition that all computable number-theoretical functions are recursive.
Origin
1950s; earliest use found in Annals of Mathematics.
- walk over
- walkover
- walkround
- walk someone off their feet
- walk something back
- walk something off
- walk test
- walk the boards
- walk the plank
- walk the streets
- walk the walk (also walk the talk)
- walk the wards
- walk-through
- orthopnoea
- orthopnoeic
- orthopod
- orthopoxvirus
- orthoprax
- orthopraxis
- orthopraxy
- orthopsychiatric
- orthopsychiatrist
- orthopsychiatry
- orthopter
- Orthoptera