“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

Proposition VI, On Formally Undecidable Propositions in Principia Mathematica and Related Systems I (1931); Informally, recursive systems of axioms cannot be complete.

Adopted from Wikiquote. Last update June 3, 2021. History

Help us to complete the source, original and additional information

Do you have more details about the quote "To every ω-consistent recursive class κ of formulae there correspond recursive class signs r, such that neither v Gen r…" by Kurt Gödel?

Kurt Gödel photo

Kurt Gödel 12

logician, mathematician, and philosopher of mathematics 1906–1978

Related quotes

“The value of the intrinsic approach is especially apparent in considering 3-dimensional congruence spaces… The intrinsic geometry of such a space of curvature K provides formulae for the surface area S and the volume V of a "small sphere" of radius r, whose leading terms are 3)S = 4 \pi r^2 (1 - \frac{Kr^2}{3} + …),
V = \frac{4}{3} \pi r^3 (1 - \frac{Kr^2}{5} + …).”

Howard P. Robertson (1903–1961) American mathematician and physicist

Geometry as a Branch of Physics (1949)

“Measurements which may be made on the surface of the earth… is an example of a 2-dimensional congruence space of positive curvature K = \frac{1}{R^2}… [C]onsider… a "small circle" of radius r (measured on the surface!)… its perimeter L and area A… are clearly less than the corresponding measures 2\pi r and \pi r^2… in the Euclidean plane. …for sufficiently small r (i. e., small compared with R) these quantities on the sphere are given by 1):L = 2 \pi r (1 - \frac{Kr^2}{6} + …),
A = \pi r^2”

Howard P. Robertson (1903–1961) American mathematician and physicist

1 - \frac{Kr^2}{12} + …
Geometry as a Branch of Physics (1949)

“All the light which is radiated… will, after it has traveled a distance r, lie on the surface of a sphere whose area S is given by the first of the formulae (3). And since the practical procedure… in determining d is equivalent to assuming that all this light lies on the surface of a Euclidean sphere of radius d, it follows…4 \pi d^2 = S = 4 \pi r^2 (1 - \frac{K r^2}{3} + …);whence, to our approximation 4)d = r (1- \frac{K r^2}{6} + …), or
r = d (1 + \frac{K d^2}{6} + …).</center”

Howard P. Robertson (1903–1961) American mathematician and physicist

Geometry as a Branch of Physics (1949)

“If a is any definite number, then all numbers of the system R fall into two classes, A1 and A2, each of which contains infinitely many individuals; the first class A1 comprises all numbers a1 that are < a, the second class A2 comprises all numbers a2 that are > a; the number a itself may be assigned at pleasure to the first or second class, being respectively the greatest number of the first class or the least of the second. In every case the separation of the system R into the two classes A1, A2 is such that every number of the first class A1 is less than every number of the second class A2.”

Richard Dedekind (1831–1916) German mathematician

p, 125
Stetigkeit und irrationale Zahlen (1872)

“He pronounced the letter R (littera canina) very hard – a certaine signe of a Satyricall Witt.”

John Aubrey book Brief Lives

"John Milton"
Brief Lives

“I can now present the first fundamental law of capitalism, which links the capital stock to the flow of income from capital. The capital/income ratio β is related in a simple way to the share of income from capital in national income, denoted α. The formula is
α = r × β
Where r is the rate of return on capital.
For example, if β=600% and r = 5%, then α = r × β = 30%.
In other words, if national wealth represents the equivalent of six years of national income, and the rate of return on capital is 5 percent per year, then capital’s share in national income is 30 percent.”

Thomas Piketty book Capital in the Twenty-First Century

Source: Capital in the Twenty-First Century (2013), p. 52.

“And fully in keeping with the demagogic prejudices of the party, no A. R. F leader would seriously propose participating cooperatively in the struggle of the people of w:Turkey against the fascist regime there… While the A. R. F. reprints maps showing the borders of a supposed "Armenia" proposed in the unratified w:Treaty of Sèvres, the party's literature ignores the native population within the borders of this "Armenia." It should be pointed out that this population, consisting of w:Kurds, Turks, Lazes and others, exceeds six million. One wonders what kind of Armenia the A. R. F. envisions in which Armenians will be an absolute—if not minuscule—minority…”

Monte Melkonian (1957–1993) National Hero of Armenia

Source: The Right to Struggle (1993), P. 57.

“India possesses, it is true, a class of texts that proclaims to be a history of the subcontinent, the Puranas. ….. Nevertheless, they have been used uncritically, e. g., by some historians such as R. Thapar, and by modern archaeologists as materials to establish their identifications of particular pre-historic cultures.”

Michael Witzel (1943) German-American philologist

1990. On Indian Historical Writing. pp. 1-57 in ‘Nihon Minami Ajia Gakkai: Hatsubai Tokyo Daigaku Shuppanaki. Tokyo

“Frank Abagnale could write a check on toilet paper, drawn on the Confederate States Treasury, sign it 'U. R. Hooked' and cash it at any bank in town, using a Hong Kong driver's license for identification.”

Frank W. Abagnale (1948) American security consultant, former confidence trickster, check forger, impostor, and escape artist

Source: Catch Me if You Can: The True Story of a Real Fake, 2002, Ch.1 Pg.4(a), Ch.1 Pg. 11(b),Back cover(c), Ch.6 Pg.116(d)

“Observations give us two data, viz. the rate of expansion and the average density, and there are three unknowns: the value of λ, the sign of the curvature, and the scale of the figure, i. e. the units of R and of the time. The problem is indeterminate.”

Willem de Sitter (1872–1934) Dutch cosmologist

Kosmos (1932), Above is Beginning Quote of the Last Chapter: Relativity and Modern Theories of the Universe -->

Related topics