与 «METAMATHEMATICIAN»相关的英语书籍
在以下的参考文献中发现
metamathematician的用法。与
metamathematician相关的书籍以及同一来源的简短摘要提供其在 英语文献中的使用情境。
1
What Number Is God?: Metaphors, Metaphysics, ...
7 Perhaps the best-known metamathematician in this more generalized sense of
the word is Douglas Hofstadter. In his 1979 Pulitzer Prize winning work, Godel,
Escher, and Bach, Hofstadter showed that Godel's discovery was "in its barest ...
2
Mathematics in Society and History: Sociological Inquiries
The metamathematician looks at them, not through and beyond them; thus they
are objects without interpretation or meaning. The rationale for a constructivist
sociological interpretation here is provided in great part by Kleene himself, even
...
3
Foundational Theories of Classical and Constructive Mathematics
If a metamathematician is a platonist (believing anyway in classical logic), she
will be able to prove the existence of classical model toposes (in which the
terminal object is a generator and in which all numerals are standard). But will
she be ...
4
Foundations of constructive mathematics: metamathematical ...
Metamathematician: Of course the rules are "implicitly present" because of the
hypothesis Vxea 3 !>'((x, y)ef). Int: Well, perhaps so. But what I object to is
collecting together all functions, say even from N to N, into a completed object.
According ...
5
PRATICA: Proofs, Types and Categories
But for the metamathematician a proof is only another type of mathematical object
, a formal structure from which the power to impress has been eliminated.
Something like doing art criticism without caring about the "aesthetic experience"
...
Edward Hermann Haeusler, Luiz Carlos Pereira, 1999
... metamathematician) David Hilbert, who set before the world community of
mathematicians (and metamathe-maticians) this challenge: to demonstrate
rigorously—perhaps following the very methods outlined by Russell and
Whitehead—that ...
7
Alfred Tarski: Philosophy of Language and Logic
What is interesting here is that although Tarski, as a metamathematician, is
interestedin studying deductive sciences, asaphilosopher his view is that the
point ofadeductive scienceis that it is tobeused clearly toexpress thoughts, just as
Le ...
8
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
This work is strictly for the user of mathematics, not for the metamathematician
who studies formal theories. Yet, it is fully formalized, true to the spirit of Hilbert,
and it comes in a self-contained package, including a “Chapter 0” on formal logic.
9
Mathematical Structures and Mathematical Modelling
... in this manner can have two principally different interpretations— the
Euclidean and non-Euclidean.) Finally, the requirement of independence of an
axiomatization is, of course, quite important from the point of view of a
metamathematician, ...
Isaak Moiseevich I͡Aglom, 1986
10
Proofs and Refutations: The Logic of Mathematical Discovery
Dirac is more fortunate: Schwartz saved his soul during his lifetime. Perhaps we
should mention here the paradoxical plight of the metamathematician: by
formalist, or even by deductivist, standards, he is not an honest mathematician.
Imre Lakatos, John Worrall, Elie Zahar, 1976
