영어에서 METAMATHEMATICS 의 뜻은 무엇인가요?
메타 수학
메타 수학은 수학적 방법을 사용하여 수학 자체를 연구합니다. 이 연구는 다른 수학 이론에 관한 수학 이론 인 메타 이론을 산출합니다. 메타 수학에 중점을 둔 것은 David Hilbert가 이론 자체에 대한 명제를 제시함으로써 수학 이론의 일관성을 입증하려는 시도 때문입니다. 즉 이론의 정리에 대한 모든 가능한 증거에 대해 설명합니다. 특히, 명제 A와 그 부정은 모두 정리가 아니어야한다. 그러나 메타 수학은 "수학과 논리에 대한 다양한 기초 문제를 조사하기위한 엄격한 수학 기법을 제공합니다. 그 중 일관성 문제는 하나뿐입니다."
영어 사전에서 metamathematics 의 정의
사전에있는 메타 수학의 정의는 수학 기호, 숫자 등의 사용과 조합을 제어하는 추론, 원리 및 규칙을 논리적으로 분석 한 것입니다.
«METAMATHEMATICS» 관련 영어 책
다음 도서 목록 항목에서
metamathematics 의 용법을 확인하세요.
metamathematics 에 관련된 책과 해당 책의 짧은 발췌문을 통해 영어 서적에서 단어가 사용되는 맥락을 제공합니다.
1
Metamathematics of Fuzzy Logic
This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis.
2
Recursive Functions and
Metamathematics: Problems of ...
The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography. Readership: Scholars and advanced students of logic, mathematics, philosophy of science.
3
Metamathematics of First-Order Arithmetic
This book covers the most important results in the first order theory of the natural numbers, called Peano arithmetic. These results will be important for all those interested in mathematical logic or computational complexity.
Petr Hájek, Pavel Pudlák,
1998
4
Metamathematics, Machines and Gödel's Proof
Describes the use of computer programs to check several proofs in the foundations of mathematics.
5
What Number Is God?: Metaphors, Metaphysics, ...
This book uses modern mathematical metaphors to better understand religion and philosophy.
6
Recursion Theory for
Metamathematics
This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano arithmetic.
Raymond M. Smullyan,
1993
7
Recursion Theory for
Metamathematics
This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano arithmetic.
Raymond M. Smullyan Professor of Philosophy Indiana University,
1993
As a result of Hilbert's enthusiasm for the problems of mathematical logic and the
foundations of mathematics, a whole new area of study has been added to the
science — metamathematics, beyond mathematics. "The future historian of ...
As a result of Hilbert's enthusiasm for the problems of mathematical logic and the
foundations of mathematics, a whole new area of study has been added to the
science — metamathematics, beyond mathematics. "The future historian of ...
10
Mathematics in Society and History: Sociological Inquiries
I want to jump ahead now to the relatively recent past and look at
metamathematics. The general strategy I have outlined in this chapter can help to
make sense out of highly abstract mathematical work without recourse to non-
materialist (and ...
«METAMATHEMATICS» 단어를 포함하는 뉴스 기사
다음 뉴스 기사의 맥락에서 국내 및 국제 언론이 말하는 내용 및
metamathematics 단어를 사용하는 방법을 알아보세요.
Kurt Godel studied statements which refer to themselves, and his …
... study such statements using the tools of modern logic, which made him one the founders of metamathematics – a branch of mathematics that ... «Phys.Org, 6월 14»
Neil DeGrasse Tyson: Scientism's Televangelist
He is also pretty readable, provided you avoid his more technical material about metamathematics, which tends to be pretty bad anyways. «The American Conservative, 5월 14»
When Meta Met Data
... rarefied air of academia, where intellectuals used it to study what others were studying (in fields like metamathematics or metapsychology). «New York Times, 10월 13»
Dan Massey, Renaissance Man, Androgyne and Longtime LGBT …
... mathematical linguistics, experimental psychology and metamathematics. 2013-02-05-DanMassey.jpg There were times when I could picture ... «Huffington Post, 2월 13»
Logical Positivism and the IPCC: 'The Best-Laid Schemes...'
... notion of logic as a "metalanguage" -- also called "metamathematics. .... notion of logic as a "metalanguage" -- also called "metamathematics. «American Thinker, 3월 10»
Professor Uses Mathematics to Decode Beatles Tunes
He talks about the lyrics of 1960s songwriter Randy Newman in terms of metamathematics. When he sees broccoli, he thinks of fractals, ... «Wall Street Journal, 1월 09»