To every ω-consistent recursive class κ of formulae there correspond recursive class signs r, such that neither v Gen r nor Neg (v Gen r) belongs to Flg (κ) (where v is the free variable of r). (Kurt Gödel)

To every ω-consistent recursive class κ of formulae there correspond recursive class signs r, such that neither v Gen r nor Neg (v Gen r) belongs to Flg (κ) (where v is the free variable of r).

Kurt Gödel

Related topics

free nor variable gen

Related quotes

All persons shall have full and free liberty of religious opinion nor shall any be compelled to frequent or maintain any religious institution. View quote
Thomas Jefferson
Human progress is neither automatic nor inevitable... Every step toward the goal of justice requires sacrifice, suffering, and struggle; the tireless exertions and passionate concern of dedicated individuals. View quote
Martin Luther King Jr.
The law in question asserts, that the quantity of force which can be brought into action in the whole of Nature is unchangeable, and can neither be increased nor diminished. View quote
Hermann von Helmholtz
A civilization which leaves so large a number of its participants unsatisfied and drives them into revolt neither has nor deserves the prospect of a lasting existence. View quote
Sigmund Freud
The obsession with suicide is characteristic of the man who can neither live nor die, and whose attention never swerves from this double impossibility. View quote
Emil Cioran