| rdfs:comment
| - La metamatemática es el estudio matemático de los fundamentos de las matemáticas. (es)
- La metamatematica può definirsi come la parte della filosofia della matematica che si propone 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. (it)
- 超数学（ちょうすうがく）あるいはメタ数学（メタすうがく、英: metamathematics）とは、数学自体を研究対象とした数学のこと。超数学という語を初めて用いたのはヒルベルトであり、彼は数学の無矛盾性や完全性を問題とした。ゲーデルの完全性定理や不完全性定理はその例である。 (ja)
- Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики». В широком смысле слова метаматематика — метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в ней «математики». (ru)
- A metamatemática é um conceito formulado por Jacques Herbrand em 1930 e expandido por Tarski e Gödel. Cuida do esclarecimento rigoroso, através de recurso à própria matemática, de conceitos como o de axioma, regra de inferência e demonstração formal ou dedução, de completude e de interpolação. (pt)
- ماوراء الرياضيات (بالإنجليزية: Metamathematics) هي دراسة الرياضيات نفسها باستخدام الطرق الرياضية. تنتج هذه الدراسة (بالإنجليزية: metatheories)، والتي هي نظريات رياضية متعلقة بنظريات رياضية أخرى. وقد تم تمييز النظريات الماوارء رياضية الواصفة (بالإنجليزية: Metamathematical metatheorems) عن النظريات الرياضية العادية نفسها في القرن التاسع عشر للتركيز على ما سمي بعد ذلك . يستخدم أحيانا مصطلح «ماوراء الرياضيات» كمرادف لأجزاء ابتدائية معينة من المنطق الرسمي (بالإنجليزية: formal logic)، بما في ذلك المنطق الاقتراحي (بالإنجليزية: propositional logic) (بالإنجليزية: predicate logic). (ar)
- Metamathematik ist die mathematische Betrachtung der Grundlagen der Mathematik. Im Jahre 1920 stellte der Mathematiker David Hilbert die Forderung auf, die Mathematik auf die Grundlage eines vollständigen und widerspruchsfreien Axiomensystems zu stellen. Dieses Bestreben wurde als Hilbertprogramm bekannt. Für die Analyse der Grundlagen der Mathematik mit mathematischen Methoden prägte er den Begriff Metamathematik (in Anlehnung an Metaphysik). (de)
- 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 (and perhaps the creation of the term itself) owes itself to David Hilbert's attempt to secure the foundations of mathematics in the early part of the 20th century. Metamathematics provides "a rigorous mathematical technique for investigating a great variety of foundation problems for mathematics and logic" (Kleene 1952, p. 59). An important feature of metamathematics is its emphasis on differentiating between reasoning from inside a system and from outside a system. An informal illustration of this is categorizing the proposition "2+2=4" as belonging to mathematics while categorizing (en)
- Metamatematika adalah studi matematika yang menggunakan metode matematika dalam studi ini akan menghasilkan yang memperlajari teori-teori matematika tentang teori-teori matematika lainnya. atau dalil dari Metamatematika adalah mengenai matematika itu sendiri, pada awalnya dibedakan dari teorema matematika biasa pada abad ke-19, untuk berfokus pada apa yang kemudian disebut dalam (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. (in)
- 메타수학은 수학적 방법을 사용하여 수학 자체를 연구한다. 이 연구는 다른 수학적 이론에 대한 수학적 이론인 메타이론을 생산한다. 메타수학(그리고 아마도 용어 자체의 생성)에 대한 강조는 20세기 초반에 수학의 기초를 확보하려는 다비트 힐베르트의 시도에 기인한다. 메타수학은 수학과 논리에 대한 매우 다양한 기초 문제를 조사하기 위한 엄격한 수학적 기술"을 제공한다. 메타수학의 중요한 특징은 시스템 내부와 시스템 외부의 추론을 구별하는 데 중점을 둔다는 것이다. 이에 대한 비공식적인 예는 명제 "2+2=4"를 수학에 속하는 것으로 분류하고 명제 "'2+2=4'는 유효한다"를 메타수학에 속하는 것으로 분류하는 것이다. 수학 자체 에 대한 메타수학적 메타 정리 는 원래 19세기 의 일반적인 수학 정리와 차별화 하여 당시 수학의 근본적인 위기라고 불렸던 것에 초점을 맞춘 것이다. 메타수학은 수리 논리학과 밀접하게 연결되어 있어 19세기 후반과 20세기 초반에 두 분야의 초기 역사가 크게 겹친다. 최근에는 집합론, 범주론, 계산 가능성 이론, 순수 모형이론과 같이 메타수학과 직접적인 관련이 없는 새로운 순수수학의 연구를 수학적 논리학에 포함시키는 경우가 많다. . (ko)
- 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 uit 1905 is een goed voorbeeld van de problemen, die zich als gevolg van tegenspraak kunnen voordoen, wanneer wiskunde niet van metawiskunde wordt onderscheiden. (nl)
- Metamatematyka (lub meta-matematyka) to bardzo rygorystyczne badanie podstaw matematyki i pewnych aspektów logiki matematycznej z użyciem zaawansowanych środków samej matematyki. Jedną z istotnych jej cech jest rozróżnienie między rozumowaniami prowadzonymi wewnątrz danej sformalizowanej teorii aksjomatycznej a rozumowaniami prowadzonymi na zewnątrz niej. W powstaniu metamatematyki, która wyodrębniła się jako dział badań nad podstawami matematyki, kluczową rolę odegrali David Hilbert, Kurt Gödel i Alfred Tarski. (pl)
- Metamatematik är studiet av matematiken själv genom matematiska metoder. Detta studium resulterar i metateorier, som i detta sammanhang innebär matematiska teorier om andra matematiska teorier. Metamatematiska metateorem om matematik differentierades ursprungligen från vanliga matematiska teorem under 1800-talet, för att ge fokus åt vad som då kallades matematikens fundamentskris. gällande "definitioner" av reella tal i engelska språket är ett exempel på den typ av kontradiktioner som lätt kan uppstå om man inte tar hänsyn till skillnaden mellan matematik och metamatematik. Termen "metamatematik" används ibland som synonym för vissa elementära delar av logik. (sv)
- Метаматематика і металогіка розглядаються як синоніми й вивчаються в рамках математичної логіки. Завдання теорії — встановити межі області застосування теорії, яку вона досліджує, відповісти (якщо це можливо на даному етапі розвитку науки) на запитання про її несуперечність та повноту, вивчити (або встановити) способи введення у ній нових понять і доведень її тверджень тощо. Необхідність створення метаматематики виникла насамперед у застосуванні до математики. (uk)
- 元数学（英語：Metamathematics），又译为超数学，使用数学技术来研究数学本身的一门学科。一般来说，元数学是一种将数学作为人类意识和文化客体的科学思维或知识。更进一步来说，元数学是一种用来研究数学和数学哲学的数学。“数学的数学”是于19世纪初由通常的数学分离出来的，它最初研究的对象是在所谓的数学危机。将二者混为一谈会导致一些矛盾，典型例子有理查德悖论。 比如说，元数学的主题之一就是：分析某些数学要素是否在任意的数学系统中都是可证实或者证伪的。 许多关于数学基础与数学哲学的论说都涉及元数学的概念，它们往往不能被当作我们通常所说的“问题”来处理。元数学的基本假设是：数学的内容可以由一个形式系统获得，比如一个序理论或一个公理化集合论。 (zh)
|
![[cxml]](/fct/images/cxml_doc.png)
![[csv]](/fct/images/csv_doc.png)
![[text]](/fct/images/ntriples_doc.png)
![[turtle]](/fct/images/n3turtle_doc.png)
![[ld+json]](/fct/images/jsonld_doc.png)
![[rdf+json]](/fct/images/json_doc.png)
![[rdf+xml]](/fct/images/xml_doc.png)
![[atom+xml]](/fct/images/atom_doc.png)
![[html]](/fct/images/html_doc.png)
![[RDF Data]](/fct/images/sw-rdf-blue.png)