| rdfs:comment
| - Fonaments de la matemàtica és el terme amb què sovint s'identifiquen certs camps de la matemàtica, com ara la filosofia de la matemàtica, la lògica matemàtica, la teoria de conjunts axiomàtica, la teoria de la demostració, la teoria de models i la teoria de la recursió, que tenen en comú la cerca d'una fonamentació per la matemàtica. Aquesta recerca consisteix essencialment en l'intent d'elucidar en què consisteix i què garanteix la veritat de les proposicions matemàtiques. (ca)
- Ο όρος θεμέλια των μαθηματικών αναφέρεται περιληπτικά σε κλάδους των μαθηματικών ή της φιλοσοφίας, στο μέτρο τουλάχιστον που αυτοί ασχολούνται με την ενοποίηση των . Από τη μεριά των μαθηματικών, ως τέτοιοι κλάδοι θεωρούνται παραδοσιακά η μαθηματική λογική και η θεωρία συνόλων, αλλά και η θεωρία κατηγοριών. Στο χώρο της σύγχρονης φιλοσοφίας, με τη θεμελίωση των μαθηματικών έχουν ασχοληθεί μεταξύ άλλων ο Ράσελ, ο , ο Γκέντελ, ο και ο Βίτγκενσταϊν. (el)
- Die Grundlagen der Mathematik sind einerseits Teil der Mathematik, andererseits bilden sie einen wichtigen Gegenstand erkenntnistheoretischer Reflexion, wenn diese sich mit den allgemeinen Grundlagen der menschlichen Erkenntnisgewinnung befasst. Insofern solche mathematikphilosophischen Reflexionen in der Geschichte mehrfach Einfluss auf die Formulierung der Grundlagen der Mathematik genommen haben, sind diese nicht ausschließlich Teil der Mathematik, sondern liegen in einem Überschneidungsgebiet mit der Philosophie. (de)
- Les fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. (fr)
- Per fondamenti della matematica si intende lo studio delle basi logiche e filosofiche della matematica. (it)
- 수학기초론(Foundations of mathematics)은 수학의 분야들 중 수리논리학과 공리적 집합론, 모형 이론, 증명 이론 및 계산 가능성 이론 등을 가리키는 말이다. 수학의 기초를 찾는 것은 근본적인 의미에서 수학적 명제가 옳다고 말할 수 있는 근거가 무엇인지를 연구하는 것이며, 이는 수리철학의 중심 과제이다. (ko)
- 数学基礎論（すうがくきそろん、英: foundations of mathematics, mathematical logic and foundations of mathematics）は、現在の日本では、専ら数理論理学（mathematical logic）を指す言葉として使われる。 (ja)
- Grondslagen van de wiskunde zijn de aannames, de grondbeginselen en de uitgangspunten van de wiskunde. Grondslagenonderzoek is een deelgebied tussen de wiskunde en de filosofie, waar men deze fundamenten van de wiskunde bestudeert. Deze studie wordt tegenwoordig tot de filosofie van de wiskunde gerekend. (nl)
- Криза основ математики — термін, що позначає пошук фундаментальних основ математики на межі XIX та XX століть. (uk)
- أسس الرياضيات (بالإنجليزية: Foundations of mathematics) هي دراسة الأسس الفلسفية والمنطقية و/أو الخوارزمية للرياضيات، أو بمعنى أشمل هي الدراسة الرياضية للنظريات الفلسفية حول ماهية الرياضيات. وبذا يصعب التمييز بين فلسفة الرياضيات وأسس الرياضيات.تُعنى أسس الرياضيات بدراسة المفاهيم الرياضية الأساسية (كالدوال ، والمجموعات والأعداد ، والكائنات الهندسية وغيرها ) . وكيف تكون مركبات ومفاهيم أخرى أكثر تعقيداً ، خصوصاً المفاهيم الجذرية كاللغات الرياضية (الصيغ الصورية ، النظريات الرياضية ونماذجها المعنوية ، التعريفات الرياضية ، المبرهانات ، الخوازميات وغيرها ) ،وتدعى أيضاً مفاهيم ميتا-رياضية ،مع إعتبار الجوانب الفلسفية والوحدة الرياضية لهذه المفاهيم والتركيبات . إن البحث عن أسس للرياضيات هو إحدى الأسئلة الرئيسية جدا في فلسفة الرياضيات ، كما أن الطبيعة المجردة للمفاهيم الرياضية تمثل تحدياً فلسفياً من (ar)
- Foundations of mathematics is the study of the philosophical and logical and/or algorithmic basis of mathematics, or, in a broader sense, the mathematical investigation of what underlies the philosophical theories concerning the nature of mathematics. In this latter sense, the distinction between foundations of mathematics and philosophy of mathematics turns out to be quite vague.Foundations of mathematics can be conceived as the study of the basic mathematical concepts (set, function, geometrical figure, number, etc.) and how they form hierarchies of more complex structures and concepts, especially the fundamentally important structures that form the language of mathematics (formulas, theories and their models giving a meaning to formulas, definitions, proofs, algorithms, etc.) also calle (en)
- Los fundamentos de las matemáticas son el estudio de conceptos matemáticos básicos como números, figuras geométricas, conjuntos, funciones, etc. y cómo forman jerarquías de estructuras y conceptos más complejos, especialmente las estructuras fundamentalmente importantes que forman el lenguaje de las matemáticas: fórmulas, teorías y sus modelos, dando un significado a las fórmulas, definiciones, pruebas, algoritmos, etc. también llamados conceptos metamatemáticos, con atención a los aspectos filosóficos y a favorecer la unidad de la matemática. La búsqueda por los fundamentos de la matemática es una pregunta central de la filosofía de las matemáticas; la naturaleza abstracta de los objetos matemáticos presenta desafíos filosóficos especiales. (es)
- Fondasi matematika adalah sebuah studi tentang dasar-dasar logika dan filsafat dari matematika, atau, dalam arti yang lebih luas, investigasi matematis mengenai konsekuensi-konsekuensi dari beberapa filsafat dasar tentang nature dari matematika itu sendiri. Dengan pengertian yang lebih luas ini, perbedaan antara fondasi matematika, dan filsafat matematika sepertinya menjadi kabur. Fondasi matematika dapat di pahami juga sebagai suatu studi tentang konsep-konsep dasar matematis (bilangan, bentuk-bentuk geometris, himpunan, fungsi) dan bagaimana keseluruhannya membentuk sebuah hierarki konsep dan struktur yang lebih kompleks, khususnya struktur dasar yang penting yang membangun suatu bahasa matematika (rumus-rumus, teori-teori, dan model-model matematis yang memberikan makna kepada rumus-rum (in)
- Podstawy matematyki – wspólna nazwa kilku powiązanych dziedzin matematyki, zwłaszcza logiki matematycznej, teorii mnogości i leżącej na ich pograniczu metamatematyki; dziedziny te stanowią fundament wszystkich innych dyscyplin matematycznych. Późniejszym, alternatywnym gruntem dla różnych działów – w tym teorii mnogości – stała się też teoria kategorii, historycznie związana z algebrą i czasem do niej zaliczana. Pojęcie podstaw matematyki czasem obejmuje też część filozofii tej nauki – teoretyczne podstawy poznania matematycznego (epistemologię matematyki); przykładowo Ludwig Wittgenstein zatytułował tak jedną ze swoich prac na ten temat (Uwagi o podstawach matematyki, niem. Bemerkungen über die Grundlagen der Mathematik). (pl)
- Denomina-se fundamentos da matemática a uma área de estudo que abrange tanto problemas da filosofia da matemática, como da lógica e da matemática. Ela teve a sua origem nas últimas décadas do século XIX e desenvolveu-se durante as primeiras décadas do século XX, como uma resposta à crise dos fundamentos gerada pelos paradoxos.Do ponto de vista lógico, tem como questão fundamental as relações entre a lógica e a matemática. Do ponto de vista matemático abrange pesquisas nas áreas de lógica matemática, teoria de conjuntos, teoria dos tipos, teoria de modelos, teoria da prova, teoria da recursão e topologia. (pt)
- 数学上，数学基础（英語：foundations of mathematics）一词有时候用于数学的特定领域，例如数理逻辑，公理化集合论，证明论，模型论，和递归论（可計算性理論）。但是寻求数学的基础也是数学哲学的中心问题：在什么终极基础上命题可以称为“真”? 目前占统治地位的数学典範思想是基于公理化集合论和形式逻辑的。實際上，幾乎所有现在的数学定理都可以表述為集合论下的定理。在这个观点下，所謂数学命题的真实性，不过就是该命题可以从集合论公理使用形式逻辑推导出来。 这个不能解释一些问题：为什么我们應沿用现行的公理而不是別的，为什么我们應沿用现行的逻辑规则而不是別的，为什么「真」数学命题（例如，算術領域的皮亚诺公理）在物理世界中似乎是真的。这被尤金·维格纳在1960年叫做“数学在自然科学中无理由的有效性”（The unreasonable effectiveness of mathematics in the natural sciences）。 在（有时也叫柏拉图主义）中，独立于人类的数学对象的世界的存在性被作为一个基本假设；这些对象的真实性由人类「发现」。在这种观点下，自然定律和数学定律有類似的地位，因此"有效性"不再"无理由"。不是我们的公理，而是数学对象的真实世界构成了數學基础。但，显然的问题在于，我们如何接触这个世界？ (zh)
- Основания математики — система общих для всей математики понятий, концепций и методов, с помощью которых строятся различные её разделы. С античности и приблизительно до конца XVII века источником, описывающим основные понятия и методы математики считался трактат Евклида «Начала» (ок. 300 г. до н. э.). В нём геометрия и теория чисел представлялись как единая аксиоматическая система (на уровне строгости того времени), в которой из исходных предположений (постулатов или аксиом) с помощью выделенного набора логических средств выводились следствия о свойствах первичных понятий (точка, прямая, число и т. д.) и конструируемых из них объектов (геометрические фигуры). Несмотря на отмечавшиеся ещё в античности пробелы в рассуждениях Евклида, его построения в целом считались приемлемыми для описания (ru)
|
![[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)