«METAMATHEMATICAL»に関連する英語の本
以下の図書目録から
metamathematicalの使いかたを見つけましょう。
metamathematicalに関する本と英語文献で使われた文脈を提供するための簡単な抜粋文。
1
A
Metamathematical Condition Equivalent to the Existence of ...
In this thesis we present the equivalence of a metamathematical condition on a Polish group, and a topological quality.
Alexander Burgess Cottingham Thompson,
2008
2
Hilbert's
Metamathematical Problems and Their Solutions
This dissertation examines several of the problems that Hilbert discovered in the foundations of mathematics, from a metalogical perspective.
3
The Nature of Mathematical Knowledge
The metamathematical views of a practice are claims about how the ultimate
goals of the mathematician are to be achieved. These views are typically justified
by reflection on the ways in which previous mathematics has been successful.
San Diego Philip Kitcher Professor of Philosophy University of California,
1983
4
Metamathematical Extensibility in Type Theory
Three classes of tactics are defined: complete tactics, partial tactics, and search tactics.
5
Nonstandard Analysis, Axiomatically
One of the most important metamathematical issues related to any formal theory
is the question of consistency: that is, a theory should not imply a contradiction.
As long as minimally reasonable set. theories are considered, Godel's famous ...
Vladimir Grigorʹevich Kanoveĭ, Michael Reeken,
2004
6
Pointing at the Moon Buddhism, Logic, Analytic Philosophy
While the twentieth-century development of logic is as diverse as that of analytic
philosophy, the key logical notions were provided by Tarski.10 Tarski's account is
metamathematical (as he called it). His approach is to define (or stipulate) a ...
Jay L. Garfield, Tom J.F. Tillemans, Mario D'Amato,
2009
7
Social Constructivism as a Philosophy of Mathematics
It may also help to clarify or add a little to the proof criteria and metamathematical
views of the context. However, a more radical outcome is also possible in the
form of a global restructuring of the background context. This can involve a ...
8
S(zp, Zp): Post-structural Readings of Gödel's Proof
However, we have noted above that one should not be able to prove
mathematically a statement about a metamathematical notion such as expression
or proof, since this may result in 'crossing the line' between mathematics and its
meta.
9
Kurt Gödel: Essays for his Centennial
G ̈ODEL AND THE METAMATHEMATICAL TRADITION† JEREMY AVIGAD
Abstract. The metamathematical tradition that developed from Hilbert's program is
based on syntactic characterizations of mathematics and the use of explicit,
finitary ...
Solomon Feferman, Charles Parsons, Stephen G. Simpson,
2010
10
Provability, Computability and Reflection
I wish to explore the comparatively recent policy of treating the methodology but
not the content of metamathematical semantics as fixed and given. Since this
motto has many important consequences, I will repeat it: treat the methodology,
but ...