Bedeutung von "metamathematics" im Wörterbuch Englisch

AUSSPRACHE VON METAMATHEMATICS AUF ENGLISCH

metamathematics  [ˌmɛtəˌmæθɪˈmætɪks]

GRAMMATIKALISCHE KATEGORIE VON METAMATHEMATICS

Metamathematics ist ein Substantiv.

Das Nomen oder Substantiv ist die Art Wort, dessen Bedeutung die Wirklichkeit bestimmt. Substantive benennen alle Dinge: Personen, Objekte, Empfindungen, Gefühle usw.

WAS BEDEUTET METAMATHEMATICS AUF ENGLISCH

Metamathematik

Metamathematics

Metamathematik ist das Studium der Mathematik selbst mit mathematischen Methoden. Diese Studie produziert Metatheorien, die mathematische Theorien über andere mathematische Theorien sind. Der Schwerpunkt auf Metamathematik liegt auf dem Versuch von David Hilbert, die Konsequenz mathematischer Theorien zu beweisen, indem er einen Satz über eine Theorie selbst, d.h. speziell über alle möglichen Beweise von Theoremen in der Theorie, Insbesondere sollte sowohl ein Satz A als auch dessen Negation nicht A nicht Theoreme sein. Allerdings bietet die Metamathematik "eine rigorose mathematische Technik zur Untersuchung einer Vielzahl von Fundamentproblemen für Mathematik und Logik, unter denen das Konsistenzproblem nur eins ist".

Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. Emphasis on metamathematics is due to David Hilbert's attempt of proving the consistency of mathematical theories by proving a proposition about a theory itself, i.e. specifically about all possible proofs of theorems in the theory; in particular, both a proposition A and its negation not A should not be theorems. However, metamathematics provides "a rigorous mathematical technique for investigating a great variety of foundation problems for mathematics and logic, among which the consistency problem is only one".

Definition von metamathematics im Wörterbuch Englisch

Die Definition von Metamathematik im Wörterbuch ist die logische Analyse der Argumentation, Prinzipien und Regeln, die die Verwendung und Kombination von mathematischen Symbolen, Zahlen usw. steuern.

ÜBERSETZUNG VON METAMATHEMATICS

Erfahre, wie die Übersetzung von metamathematics auf 25 Sprachen mit unserem mehrsprachigen Übersetzer Englisch lautet.

Die Übersetzungen von metamathematics auf andere Sprachen, die in diesem Bereich vorgestellt werden, sind zustande gekommen durch automatische statistische Übersetzung, wobei die Basiseinheit der Übersetzung das Wort «metamathematics» in Englisch ist.

• Übersetzer Deutsch - Chinesisch: 元数学
• Übersetzer Deutsch - Spanisch: metamatemática
• Englisch: metamathematics
• Übersetzer Deutsch - Hindi: metamathematics
• Übersetzer Deutsch - Arabisch: تخطى
• Übersetzer Deutsch - Russisch: метаматематика
• Übersetzer Deutsch - Portugiesisch: metamathematics
• Übersetzer Deutsch - Bengalisch: metamathematics
• Übersetzer Deutsch - Französisch: metamathematics
• Übersetzer Deutsch - Malaysisch: Metamatematik
• Übersetzer Deutsch - Deutsch: Metamathematik
• Übersetzer Deutsch - Japanisch: 超数学
• Übersetzer Deutsch - Koreanisch: metamathematics
• Übersetzer Deutsch - Javanisch: Metamatika
• Übersetzer Deutsch - Vietnamesisch: metamathematics
• Übersetzer Deutsch - Tamil: metamathematics
• Übersetzer Deutsch - Marathi: मेटाममायमेटिक्स
• Übersetzer Deutsch - Türkisch: Metamatematik
• Übersetzer Deutsch - Italienisch: metamatematica
• Übersetzer Deutsch - Polnisch: metamatematyki
• Übersetzer Deutsch - Ukrainisch: метаматематика
• Übersetzer Deutsch - Rumänisch: metamathematics
• Übersetzer Deutsch - Griechisch: metamathematics
• Übersetzer Deutsch - Afrikaans: metamathematics
• Übersetzer Deutsch - Schwedisch: metamathematics
• Übersetzer Deutsch - Norwegisch: metamathematics

10 BÜCHER, DIE MIT «METAMATHEMATICS» IM ZUSAMMENHANG STEHEN

Entdecke den Gebrauch von metamathematics in der folgenden bibliographischen Auswahl. Bücher, die mit metamathematics im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.

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.

Petr Hájek, 2001

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.

‎1999

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

Metamathematics, Machines and Gödel's Proof

Describes the use of computer programs to check several proofs in the foundations of mathematics.

N. Shankar, 1997

What Number Is God?: Metaphors, Metaphysics, ...

This book uses modern mathematical metaphors to better understand religion and philosophy.

Sarah Voss, 1995

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

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

Hilbert

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 ...

Constance Reid, 1996

Hilbert-Courant

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 ...

‎1970

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 ...

S. Restivo, 2001

6 NACHRICHTEN, IN DENEN DER BEGRIFF «METAMATHEMATICS» VORKOMMT

Erfahre, worüber man in den einheimischen und internationalen Medien spricht und wie der Begriff metamathematics im Kontext der folgenden Nachrichten gebraucht wird.

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, Jun 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, Mai 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, Okt 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, Feb 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, Mär 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, Jan 09»