Find link

language:

Find link is a tool written by Edward Betts.

searching for Hilbert's program 13 found (43 total)

Gentzen's consistency proof (2,060 words) [view diff] no match in snippet view article find links to article

Gentzen's consistency proof is a result of proof theory in mathematical logic, published by Gerhard Gentzen in 1936. It shows that the Peano axioms of

1943 in philosophy (93 words) [view diff] case mismatch in snippet view article find links to article

Scholl (born 1921) August 24 - Simone Weil (born 1909) Zach, Richard. "Hilbert's Program". The Stanford Encyclopedia of Philosophy (SEP). Retrieved 19 February

Richard Zach (384 words) [view diff] exact match in snippet view article find links to article

development. In the philosophy of mathematics Zach has worked on Hilbert's program and the philosophical relevance of proof theory. In mathematical logic

Hilbert's second problem (1,500 words) [view diff] case mismatch in snippet view article find links to article

ISBN 0-7695-2631-4. Detlefsen, Michael (1990). "On an alleged refutation of Hilbert's Program using Gödel's First Incompleteness Theorem". Journal of Philosophical

Hilbert's ninth problem (251 words) [view diff] exact match in snippet view article find links to article

this led to the development of the class field theory, realizing Hilbert's program in an abstract fashion. Certain explicit formulas for norm residues

Paul Lorenzen (584 words) [view diff] exact match in snippet view article find links to article

also on Gerhard Gentzen's cut elimination to find a way to continue Hilbert's program after the results of Gödel. In the theory of geometry and physics

The Ancient Tradition of Geometric Problems (823 words) [view diff] exact match in snippet view article find links to article

foundational crisis of mathematics of the early 20th century, in which David Hilbert's program of reducing mathematics to a system of axioms and calculational rules

Steve Simpson (mathematician) (481 words) [view diff] case mismatch in snippet view article

MR 0753869. Simpson, Stephen G. (1988), "Partial realizations of Hilbert's Program", Journal of Symbolic Logic, 53 (2): 349–363, doi:10.2307/2274508

Michael Detlefsen (692 words) [view diff] case mismatch in snippet view article find links to article

University of Notre Dame and the Paris Diderot University) from 2010. Hilbert's Program: An Essay on Mathematical Instrumentalism, vol. 182 of the Synthese

John Penn Mayberry (4,580 words) [view diff] exact match in snippet view article find links to article

the very heart of their thinking. The Formalist movement, following Hilbert's program of saving the mathematical fruits of Cantor's Axiom of Infinity via

List of agnostics (34,719 words) [view diff] exact match in snippet view article find links to article

consistency proofs." David Hilbert, Die Grundlagen der Mathematik, Hilbert's program, 22C:096, University of Iowa. "Also, when someone blamed Galileo for

Tilman Sauer (1,748 words) [view diff] exact match in snippet view article find links to article

early history of GR and the Hilbert-Einstein priority dispute and Hilbert's program on the foundations of physics. The priority dispute is, among other

The MANIAC (2,451 words) [view diff] exact match in snippet view article find links to article

Gábor Szegő. It climaxes with von Neumann's participation in David Hilbert's program to create a logical basis for mathematics based on a consistent set