| Information | |
|---|---|
| has gloss | (noun) the logical analysis of mathematical reasoning metamathematics |
| has gloss | eng: Metamathematics is the study of mathematics itself using mathematical methods. This study produces metatheories, which are mathematical theories about other mathematical theories. Metamathematical metatheorems about mathematics itself were originally differentiated from ordinary mathematical theorems in the 19th century, to focus on what was then called the foundational crisis of mathematics. Richards paradox (Richard 1905) concerning certain definitions' of real numbers in the English language is an example of the sort of contradictions which can easily occur if one fails to distinguish between mathematics and metamathematics. |
| lexicalization | eng: Meta-mathematics |
| lexicalization | eng: metamathematics |
| subclass of | (noun) the branches of mathematics that study and develop the principles of mathematics for their own sake rather than for their immediate usefulness pure mathematics |
| Meaning | |
|---|---|
| German | |
| has gloss | deu: Metamathematik ist die mathematische Betrachtung der Grundlagen der Mathematik. |
| lexicalization | deu: Metamathematik |
| Hungarian | |
| has gloss | hun: A metamatematika a modern (XIX. század utáni) matematikai, matematikafilozófiai, illetve filozófiai publikációkban különféle, egymással rokonságban lévő, de nem mindenhol ugyanabban az értelemben használt kifejezés és fogalom. |
| lexicalization | hun: metamatematika |
| Indonesian | |
| has gloss | ind: Metamatematika adalah studi matematika yang menggunakan metode matematika dalam studi ini akan menghasilkan metateori yang memperlajari teori-teori matematika tentang teori-teori matematika lainnya. Metateorema atau dalil dari Metamatematika adalah mengenai matematika itu sendiri, pada awalnya dibedakan dari teorema matematika biasa di abad ke-19, untuk berfokus pada apa yang kemudian disebut foundational crisis of mathematics dalam Paradoks Richard (Richard 1905) mengenai beberapa definisi dari bilangan nyata dalam bahasa Inggris adalah contoh dari jenis kontradiksi-kontradiksi yang dapat dengan mudah terjadi jika salah satu gagal untuk membedakan antara matematika dan metamatematika. |
| lexicalization | ind: Metamatematika |
| Italian | |
| has gloss | ita: La metamatematica può definirsi come la parte della matematica che consente di studiare la matematica da punti di vista generali. Essa venne differenziata dal resto della matematica verso la fine del XIX secolo nell'ambito delle discussioni che riguardavano quello che allora veniva chiamato problema dei fondamenti della matematica. |
| lexicalization | ita: Meta-matematica |
| lexicalization | ita: metamatematica |
| Dutch | |
| has gloss | nld: Metawiskunde is de studie van wiskunde aan de hand van wiskundige modellen. Uit dergelijke disciplines komen metatheorieën voort, in dit geval wiskundige theorieën met betrekking tot andere wiskundige theorieën. Metawiskundige metastellingen werden in de 19e eeuw nog onderscheiden van gewone wiskundige stellingen in verband met de grondslagencrisis in de wiskunde. De paradox van Richard uit 1905 is een goed voorbeeld van de problemen, die zich als gevolg van tegenspraak kunnen voordoen, wanneer wiskunde niet van metawiskunde wordt onderscheiden. |
| lexicalization | nld: metawiskunde |
| Norwegian | |
| has gloss | nor: Metamatematikk er den matematiske betraktningen av matematikkens grunnlag. Fokus i metamatematikken er blant annet på å finne ut hva man kan bevise med matematiske systemer. |
| lexicalization | nor: metamatematikk |
| Polish | |
| has gloss | pol: Metamatematyka lub meta-matematyka – matematyka zastosowana do badania matematyki. Bardziej ogólnie to refleksja o matematyce widzianej jako pewien abstrakcyjny obiekt i produkt ludzkiego umysłu. |
| lexicalization | pol: Metamatematyka |
| Russian | |
| has gloss | rus: Метаматематика — метатеория математики, предметом исследования которой является математика. |
| lexicalization | rus: Метаматематика |
| lexicalization | rus: метаматематика |
| Slovak | |
| has gloss | slk: Metamatematika je metateória matematiky; študuje vlastnosti formálnych systémov a kalkulov, ako bezrozpornosť, úplnosť a i. |
| lexicalization | slk: metamatematika |
| Chinese | |
| lexicalization | zho: 元数学 |
| Links | |
|---|---|
| has category | (noun) a science (or group of related sciences) dealing with the logic of quantity and shape and arrangement maths, math, mathematics |
| similar | e/Metamathematics |
Lexvo © 2008-2025 Gerard de Melo. Contact Legal Information / Imprint