«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
«METAMATHEMATICIAN» 단어를 포함하는 뉴스 기사
다음 뉴스 기사의 맥락에서 국내 및 국제 언론이 말하는 내용 및
metamathematician 단어를 사용하는 방법을 알아보세요.
Plato, Applied Math, and You
... to ways to think about it more clearly. One way is illustrated proposed by the metamathematician Roger Penrose in his "three world diagram": ... «Boston Globe, 6월 11»
