Foundations of mathematics (original) (raw)
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.
| Property | Value |
|---|---|
| dbo:abstract | 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) أسس الرياضيات (بالإنجليزية: Foundations of mathematics) هي دراسة الأسس الفلسفية والمنطقية و/أو الخوارزمية للرياضيات، أو بمعنى أشمل هي الدراسة الرياضية للنظريات الفلسفية حول ماهية الرياضيات. وبذا يصعب التمييز بين فلسفة الرياضيات وأسس الرياضيات.تُعنى أسس الرياضيات بدراسة المفاهيم الرياضية الأساسية (كالدوال ، والمجموعات والأعداد ، والكائنات الهندسية وغيرها ) . وكيف تكون مركبات ومفاهيم أخرى أكثر تعقيداً ، خصوصاً المفاهيم الجذرية كاللغات الرياضية (الصيغ الصورية ، النظريات الرياضية ونماذجها المعنوية ، التعريفات الرياضية ، المبرهانات ، الخوازميات وغيرها ) ،وتدعى أيضاً مفاهيم ميتا-رياضية ،مع إعتبار الجوانب الفلسفية والوحدة الرياضية لهذه المفاهيم والتركيبات . إن البحث عن أسس للرياضيات هو إحدى الأسئلة الرئيسية جدا في فلسفة الرياضيات ، كما أن الطبيعة المجردة للمفاهيم الرياضية تمثل تحدياً فلسفياً من نوعٍ خاص. أسس الرياضيات أو أصول الرياضيات مصطلح يستعمل في أحيانا في بعض حقول الرياضيات، مثل المنطق الرياضي، ونظرية المجموعات، ونظرية البرهان، ونظرية النموذج، ونظرية النمط ونظرية العودية. إن البحث في أسس الرياضيات هو في نفس الوقت السؤال المركزي في فلسفة الرياضيات: ما القاعدة المطلقة التي تبقى فيها العبارات الرياضياتية صحيحة؟ (ar) Ο όρος θεμέλια των μαθηματικών αναφέρεται περιληπτικά σε κλάδους των μαθηματικών ή της φιλοσοφίας, στο μέτρο τουλάχιστον που αυτοί ασχολούνται με την ενοποίηση των . Από τη μεριά των μαθηματικών, ως τέτοιοι κλάδοι θεωρούνται παραδοσιακά η μαθηματική λογική και η θεωρία συνόλων, αλλά και η θεωρία κατηγοριών. Στο χώρο της σύγχρονης φιλοσοφίας, με τη θεμελίωση των μαθηματικών έχουν ασχοληθεί μεταξύ άλλων ο Ράσελ, ο , ο Γκέντελ, ο και ο Βίτγκενσταϊν. (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) 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. Los fundamentos de las matemáticas como un todo no apuntan a contener los fundamentos de cada tópico matemático. Generalmente, los fundamentos de un campo de estudio, se refieren a un análisis más o menos sistemático de sus conceptos más básicos, su unidad conceptual y su ordenamiento natural o jerarquía de conceptos, los cuales podrían ayudar a conectarlos con el resto del conocimiento humano. El desarrollo, surgimiento y aclaración de los fundamentos puede aparecer tarde en la historia de un campo, y podría no ser visto por algunos como su parte más interesante. Las matemáticas siempre jugaron un rol especial en el pensamiento científico, sirviendo desde tiempos antiguos como modelo de verdad y rigor para la inquisición racional, dando herramientas o incluso fundamentos para otras ciencias (especialmente la física). Pero las matemáticas ya hacía abstracciones muy elevadas en el siglo XIX, que trajeron paradojas y nuevos desafíos, exigiendo un examen más profundo y sistemático de la naturaleza y del criterio de la verdad matemática, así como también una unificación de las diversas ramas de la matemática en un todo coherente. La búsqueda sistemática de los fundamentos de las matemáticas empezó al fin del siglo XIX, y formó una disciplina matemática nueva llamada lógica matemática, con fuertes vínculos con la ciencia de la computación teórica. Fue mediante una serie de crisis con resultados paradójicos, que los descubrimientos se estabilizaron durante el siglo XX con un amplio y coherente cuerpo de conocimiento matemático con muchísimos aspectos o componentes (teoría de conjuntos, teoría de modelos, ...), cuyas detalladas propiedades y posibles variantes aún están en campo de investigación. Su alto nivel de sofisticación técnica inspiró a muchos filósofos a conjeturar que podrían servir como modelo para los fundamentos de otras ciencias. (es) 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 called metamathematical concepts, with an eye to the philosophical aspects and the unity of mathematics. The search for foundations of mathematics is a central question of the philosophy of mathematics; the abstract nature of mathematical objects presents special philosophical challenges. The foundations of mathematics as a whole does not aim to contain the foundations of every mathematical topic.Generally, the foundations of a field of study refers to a more-or-less systematic analysis of its most basic or fundamental concepts, its conceptual unity and its natural ordering or hierarchy of concepts, which may help to connect it with the rest of human knowledge. The development, emergence, and clarification of the foundations can come late in the history of a field, and might not be viewed by everyone as its most interesting part. Mathematics always played a special role in scientific thought, serving since ancient times as a model of truth and rigor for rational inquiry, and giving tools or even a foundation for other sciences (especially physics). Mathematics' many developments towards higher abstractions in the 19th century brought new challenges and paradoxes, urging for a deeper and more systematic examination of the nature and criteria of mathematical truth, as well as a unification of the diverse branches of mathematics into a coherent whole. The systematic search for the foundations of mathematics started at the end of the 19th century and formed a new mathematical discipline called mathematical logic, which later had strong links to theoretical computer science.It went through a series of crises with paradoxical results, until the discoveries stabilized during the 20th century as a large and coherent body of mathematical knowledge with several aspects or components (set theory, model theory, proof theory, etc.), whose detailed properties and possible variants are still an active research field.Its high level of technical sophistication inspired many philosophers to conjecture that it can serve as a model or pattern for the foundations of other sciences. (en) Les fondements des mathématiques sont les principes de la philosophie des mathématiques sur lesquels est établie cette science. (fr) 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-rumus, definisi-definisi, pembuktian-pembuktian, algoritme-algoritme) yang juga sering disebut sebagai konsep-konsep matematis, dengan tetap memperhatikan aspek-aspek filsafat dan kesatuan dari matematika. Pencarian fondasi matematika adalah pertanyaan dan fokus utama dari filsafat matematika; namun natur yang abstrak dari objek-objek matematika memberikan tantangan filsafat yang khusus dalam pencarian ini. (in) 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) Основания математики — система общих для всей математики понятий, концепций и методов, с помощью которых строятся различные её разделы. С античности и приблизительно до конца XVII века источником, описывающим основные понятия и методы математики считался трактат Евклида «Начала» (ок. 300 г. до н. э.). В нём геометрия и теория чисел представлялись как единая аксиоматическая система (на уровне строгости того времени), в которой из исходных предположений (постулатов или аксиом) с помощью выделенного набора логических средств выводились следствия о свойствах первичных понятий (точка, прямая, число и т. д.) и конструируемых из них объектов (геометрические фигуры). Несмотря на отмечавшиеся ещё в античности пробелы в рассуждениях Евклида, его построения в целом считались приемлемыми для описания всего здания тогдашней математики, и до Нового времени последовательной критики не вызывали. Положение стало меняться в конце XVII века с изобретением Исааком Ньютоном и Готфридом Вильгельмом Лейбницем дифференциального и интегрального исчислений, логическое обоснование которых долгое время оставалось непрояснённым. Оно было получено лишь в середине XIX века стараниями Огюстена Коши, Карла Вейерштрасса, Бернгарда Римана и других математиков на основе предложенного Коши понятия предела, причём проведённый в связи с этим анализ выявил необходимость более детальной, чем у Евклида, систематизации элементарных свойств чисел. Одновременно с этим появились свидетельства в пользу необходимости пересмотра другой части евклидовых построений, а именно, конструкций, описывающих геометрические объекты. Открытия Николая Лобачевского и других показали, что, помимо евклидовой геометрии, опирающейся на, как казалось до этого, наиболее интуитивно очевидные аксиоматические предположения, возможны альтернативные геометрии, выводимые из других аксиом, но с такой же достоверностью способные описывать явления природы. Возникшее у математиков в связи с этим понимание, что фундамент их науки следует перенести в более глубинные её области, оперирующие с объектами, более простыми, чем числа и геометрические фигуры (но такими, чтобы все остальные математические объекты можно было с их помощью построить), привело в последней четверти XIX века Георга Кантора к созданию теории множеств, быстро завоевавшей популярность в качестве нового языка математики. Однако обнаруженные в начале XX века противоречия в теории Кантора спровоцировали кризис в математике, выявив необходимость пересмотра её оснований. Предпринятые вслед за этим исследования в этой области привели к уточнению (формализации) понятий «аксиоматическая система» и «доказательство», перестройке на этой основе математической логики, и к построению формальных аксиоматических теорий множеств, признаваемых ныне фундаментом всей математики. Кроме того, в настоящее время развивается теория категорий, которая потенциально может заменить теорию множеств в качестве основания математики. (ru) 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). Podstawom matematyki jako pewnej całości poświęcano osobne czasopisma badawcze (jak „Fundamenta Mathematicae”), kursy akademickie oraz książki popularnonaukowe. Jest to jedna z jednostek klasyfikacyjnych MSC 2000 opracowanych przez Amerykańskie Towarzystwo Matematyczne (ang. AMS). (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. Como ramo de estudo, está intimamente ligado com educação matemática que tenta descobrir quais são os axiomas e as definições mais elementares da matemática, e que regras de inferência são aceitáveis ao se trabalhar com tais axiomas. Suas principais vertentes são o Intuicionismo, o Formalismo e o Logicismo. Fundamentos da matemática é uma expressão cujo significado consiste no estudo de conceitos básicos da matemática, como números, figuras geométricas, conjuntos, funções, e como eles formam hierarquias de conceitos e estruturas mais complexas, especialmente estruturas importantes da (teorias como a dos modelos, propondo um significado para fórmulas, definições, provas, algoritmos). Também chamado conceitos da metamatemática, com um olhar para os aspectos filosóficos e da unidade matemática. A pesquisa por fundamentos da matemática é uma questão central da filosofia da matemática; a abstração da natureza dos objetos da matemática presenteia especialmente desafios filosóficos. Os fundamentos da matemática são como um todo que não contém os fundamentos de todos os tópicos matemáticos. Geralmente, os fundamentos de um campo de estudo se debruça mais ou menos em analisar sistematicamente os mais básicos ou conceitos fundamentais, essa concepção unitária e a sua ordem natural de hierarquia de conceitos, que pode ajudar a juntar com o resto do conhecimento humano. O desenvolvimento, aparição e esclarecimento de fundamentos pode aparecer depois em um campo da história, e pode ser visto por qualquer um que esteja muito interessado nessa parte. A procura sistemática dos fundamentos da matemática começou no fim do século XIX e formou uma nova disciplina da matemática chamada lógica matemática, que tem fortes ligações com a teoria da computação. Ela trouxe uma crise de pensamentos sobre resultados paradoxos, até as descobertas serem estabilizadas durante o século XX como uma grande e coerente vertente do conhecimento matemático com aspectos rígidos ou componentes (teoria dos conjuntos, teoria dos modelos, teoria da prova...), que detalharam propriedades e possíveis variantes sendo ainda um ativo campo de pesquisa. Seu alto nível de técnicas sofisticadas inspirou muitos filósofos a supor que ela pode servir como um modelo ou exemplo de fundamentos de outras ciências. (pt) 数学上，数学基础（英語：foundations of mathematics）一词有时候用于数学的特定领域，例如数理逻辑，公理化集合论，证明论，模型论，和递归论（可計算性理論）。但是寻求数学的基础也是数学哲学的中心问题：在什么终极基础上命题可以称为“真”? 目前占统治地位的数学典範思想是基于公理化集合论和形式逻辑的。實際上，幾乎所有现在的数学定理都可以表述為集合论下的定理。在这个观点下，所謂数学命题的真实性，不过就是该命题可以从集合论公理使用形式逻辑推导出来。 这个不能解释一些问题：为什么我们應沿用现行的公理而不是別的，为什么我们應沿用现行的逻辑规则而不是別的，为什么「真」数学命题（例如，算術領域的皮亚诺公理）在物理世界中似乎是真的。这被尤金·维格纳在1960年叫做“数学在自然科学中无理由的有效性”（The unreasonable effectiveness of mathematics in the natural sciences）。 在（有时也叫柏拉图主义）中，独立于人类的数学对象的世界的存在性被作为一个基本假设；这些对象的真实性由人类「发现」。在这种观点下，自然定律和数学定律有類似的地位，因此"有效性"不再"无理由"。不是我们的公理，而是数学对象的真实世界构成了數學基础。但，显然的问题在于，我们如何接触这个世界？ 一些数学哲学的现代理论不承认這種數學基础的存在性。有些理论倾向于專注，並試圖把数学家的实際工作視為一種社會群體來作描述和分析。也有理論试图创造一个，把数学在"现实世界"中的可靠性歸結為人類的認知。这些理论建议只在人类的思考中找到基础， (zh) Криза основ математики — термін, що позначає пошук фундаментальних основ математики на межі XIX та XX століть. (uk) |
| dbo:wikiPageExternalLink | https://web.archive.org/web/20060209210015/http:/staff.science.uva.nl/~anne/hhhist.pdf http://www.personal.psu.edu/t20/papers/philmath/ http://www.inghist.nl/Onderzoek/Projecten/BWN/lemmata/bwn2/brouwerle https://cpb-us-w2.wpmucdn.com/u.osu.edu/dist/1/1952/files/2014/01/fom12pt5.31.00-1jkl4df.pdf https://books.google.com/books%3Fhl=en&lr=&id=a-M9DwAAQBAJ&oi=fnd&pg=PR9&dq=%22New+Directions+in+the+Philosophy+of+Mathematics%22&ots=atf_Ne8rLn&sig=Vf0ZioQ2KmW7UOOpZPiC4fNmEWA%23v=onepage&q=%22New%20Directions%20in%20the%20Philosophy%20of%20Mathematics%22&f=false https://web.archive.org/web/20130727184333/http:/www.cs.auckland.ac.nz/~chaitin/lowell.html http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.105.6509&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download%3Fdoi=10.1.1.461.6921&rep=rep1&type=pdf |
| dbo:wikiPageID | 169358 (xsd:integer) |
| dbo:wikiPageLength | 49122 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1116273692 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Begriffsschrift dbr:Principia_Mathematica dbr:Projective_geometry dbr:Quasi-empiricism_in_mathematics dbr:Entscheidungsproblem dbr:Metaphysics_(Aristotle) dbr:Model_theory dbr:Multiverse dbr:New_Foundations dbr:Metamathematics dbr:Projective_harmonic_conjugate dbr:Bernard_Bolzano dbr:Bernhard_Riemann dbr:Bertrand_Russell dbr:David_Hilbert dbr:Algorithm dbr:Algorithmic_information_theory dbr:Hyperbolic_functions dbr:John_Stillwell dbr:Peano_axioms dbr:René_Descartes dbr:Reverse_Mathematics dbr:Reverse_mathematics dbr:Richard_Dedekind dbr:Richard_Feynman dbr:Urelements dbr:Vector_spaces dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:De_Morgan's_laws dbr:Decidability_(logic) dbr:Dedekind_cut dbr:Independence_(mathematical_logic) dbr:Intuitionism dbr:Number dbr:Posterior_Analytics dbr:Reductio_ad_absurdum dbr:Liar_paradox dbr:(ε,_δ)-definition_of_limit dbr:Consistency dbr:Consistent dbr:Constructible_universe dbr:Continuous_functions dbr:Coxeter dbr:Mathematical_induction dbr:Mathematical_logic dbr:Mathematics dbr:Meno dbr:Russell's_paradox dbr:Pyotr_Novikov dbr:Raymond_Louis_Wilder dbr:Tarski–Grothendieck_set_theory dbr:Quine–Putnam_indispensability_thesis dbr:Second_Conference_on_the_Epistemology_of_the_Exact_Sciences dbr:Church–Turing_thesis dbr:Cognitive_science_of_mathematics dbr:Elliptic_geometry dbr:Emergence dbr:Epistemology dbr:Generality_of_algebra dbr:Georg_Cantor dbr:George_Berkeley dbr:George_Boole dbr:George_Peacock_(mathematician) dbr:Gerhard_Gentzen dbr:German_language dbr:Giuseppe_Peano dbr:Gottfried_Wilhelm_Leibniz dbr:Gottlob_Frege dbr:Great_circle dbr:Conceptualism dbr:Continuum_hypothesis dbr:Contradiction dbr:Controversy_over_Cantor's_theory dbr:Cross-ratio dbr:Theorem dbr:Theory dbr:Thoralf_Skolem dbr:La_Géométrie dbr:Anne_Sjerp_Troelstra dbr:Aristotelian_realist_philosophy_of_mathematics dbr:Arithmetization_of_analysis dbr:Leopold_Löwenheim dbr:Stephen_Kleene dbr:Steven_Weinberg dbr:Completeness_(logic) dbr:Computational_complexity_theory dbr:Computer_science dbr:Zeno_of_Elea dbr:Zermelo–Fraenkel_set_theory dbr:Évariste_Galois dbr:Deductive_system dbr:Howard_Eves dbr:Barycentric_coordinates_(mathematics) dbr:Mathematische_Annalen dbr:Parallel_postulate dbr:Successor_function dbr:Symmetry dbr:Theoretical_computer_science dbr:Mathematical_practice dbr:Augustus_De_Morgan dbr:Axiomatic_method dbr:Axiomatic_set_theory dbr:Brouwer–Hilbert_controversy dbr:Transcendental_number dbr:Weierstrass_function dbr:Wilbur_Dyre_Hart dbr:William_Ernest_Johnson dbr:Irrational_number dbr:Joel_David_Hamkins dbr:Large_cardinal dbr:Logicism dbr:Abraham_Fraenkel dbr:Abraham_Robinson dbr:Alan_Turing dbr:Alfred_North_Whitehead dbr:Alfred_Tarski dbr:Alonzo_Church dbr:Ernst_Schröder_(mathematician) dbr:Errett_Bishop dbr:Euclid dbr:Euclid's_Elements dbr:Eudoxus_of_Cnidus dbr:Ferdinand_von_Lindemann dbr:Field_(mathematics) dbr:First-order_logic dbr:Forcing_(mathematics) dbr:Nicolas_Bourbaki dbr:Niels_Henrik_Abel dbr:Nikolai_Lobachevsky dbr:Nominalism dbr:Non-Euclidean_geometry dbr:Nonstandard_analysis dbr:Oswald_Veblen dbr:Paradox dbr:Formal_system dbr:Hilbert's_program dbr:Hilbert's_tenth_problem dbr:History_of_mathematics dbr:Social_group dbr:Complete_quadrilateral dbr:Philosophical_realism dbr:Proof_theory dbr:Pythagoreanism dbr:Quadrature_of_the_circle dbr:Quantifier_(logic) dbr:Gregory_Chaitin dbr:Gödel's_incompleteness_theorem dbr:Gödel's_incompleteness_theorems dbr:Halting_problem dbr:Hermann_Weyl dbr:Hilary_Putnam dbr:Hilbert's_problems dbr:Isaac_Newton dbr:Cours_d'Analyse dbr:Hyperbolic_geometry dbr:Hyperbolic_triangle dbr:Paul_Cohen_(mathematician) dbr:Aristotle dbr:Arithmetic dbr:August_Ferdinand_Möbius dbr:Abel–Ruffini_theorem dbr:Abstract_algebra dbc:Mathematical_logic dbc:Philosophy_of_mathematics dbr:Charles_Hermite dbr:Charles_Sanders_Peirce dbc:History_of_mathematics dbr:Jeremy_Avigad dbr:Johann_Heinrich_Lambert dbr:János_Bolyai dbr:Karl_Weierstrass dbr:L._E._J._Brouwer dbr:Language_of_mathematics dbr:Suslin's_problem dbr:Syllogisms dbr:ZFC dbr:Diophantine_equation dbr:Doubling_the_cube dbr:Axiom_of_choice dbc:Foundations_of_mathematics dbr:Boolean_algebra dbr:Philosophy dbr:Philosophy_of_mathematics dbr:Pi dbr:Pierre_Wantzel dbr:Plato dbr:Circular_reasoning dbr:Constructivism_(mathematics) dbr:Group_theory dbr:Infinitesimal dbr:Kurt_Gödel dbr:Königsberg dbr:Natural_numbers dbr:Category_theory dbr:Real_number dbr:Second-order_logic dbr:Set_theory dbr:Infinitesimal_calculus dbr:Reuben_Hersh dbr:Thomas_Tymoczko dbr:Implementation_of_mathematics_in_set_theory dbr:Formal_logic dbr:Formalism_(mathematics) dbr:The_Unreasonable_Effectiveness_of_Mathematics_in_the_Natural_Sciences dbr:Metric_(mathematics) dbr:Platonism dbr:Finitism dbr:Urelement dbr:Luitzen_Egbertus_Jan_Brouwer dbr:Tarski's_undefinability_theorem dbr:Zermelo_set_theory dbr:Skolem's_paradox dbr:Karl_von_Staudt dbr:Cauchy dbr:Downward_Löwenheim–Skolem_theorem dbr:Gauss dbr:Inconsistent dbr:Formal_logical_system dbr:Mathematical_truth dbr:Relation_(logic) dbr:Willard_Quine dbr:Consistency_proof dbr:Platonism_(mathematics) dbr:Dedekind_cuts dbr:Completeness_theorem dbr:Model_(mathematical_logic) dbr:Second_order_arithmetic dbr:Semi-decidable dbr:Trisect_an_arbitrary_angle dbr:Nicholas_D._Goodman |
| dbp:wikiPageUsesTemplate | dbt:Arxiv dbt:Authority_control dbt:Blockquote dbt:Citation_needed dbt:Cite_book dbt:Cite_journal dbt:Cn dbt:Commons_category-inline dbt:Fact dbt:For dbt:Further dbt:ISBN dbt:Main dbt:Math dbt:More_citations_needed_section dbt:Pi dbt:Portal dbt:Radic dbt:See_also dbt:Short_description dbt:Snd dbt:Wikiquote dbt:Areas_of_mathematics dbt:Mathematical_logic dbt:Metalogic dbt:Cite_IEP dbt:Math_topics_TOC dbt:Foundations-footer |
| dct:subject | dbc:Mathematical_logic dbc:Philosophy_of_mathematics dbc:History_of_mathematics dbc:Foundations_of_mathematics |
| gold:hypernym | dbr:Study |
| rdf:type | owl:Thing dbo:Book |
| 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) |
| rdfs:label | Foundations of mathematics (en) أسس الرياضيات (ar) Fonaments de la matemàtica (ca) Grundlagen der Mathematik (de) Θεμέλια των μαθηματικών (el) Fundamentos de las matemáticas (es) Fondements des mathématiques (fr) Fondasi matematika (in) Fondamenti della matematica (it) 수학기초론 (ko) 数学基礎論 (ja) Grondslagen van de wiskunde (nl) Podstawy matematyki (pl) Основания математики (ru) Fundamentos da matemática (pt) 数学基础 (zh) Криза основ математики (uk) |
| rdfs:seeAlso | dbr:Mathematical_analysis dbr:Non-Euclidean_geometry dbr:History_of_group_theory dbr:History_of_logic dbr:List_of_statements_independent_of_ZFC |
| owl:sameAs | freebase:Foundations of mathematics yago-res:Foundations of mathematics wikidata:Foundations of mathematics dbpedia-als:Foundations of mathematics dbpedia-ar:Foundations of mathematics dbpedia-bar:Foundations of mathematics dbpedia-bg:Foundations of mathematics http://bn.dbpedia.org/resource/গণিতের_ভিত্তি dbpedia-ca:Foundations of mathematics http://cv.dbpedia.org/resource/Математика_никĕслевĕсем dbpedia-de:Foundations of mathematics dbpedia-el:Foundations of mathematics dbpedia-es:Foundations of mathematics dbpedia-fa:Foundations of mathematics dbpedia-fr:Foundations of mathematics dbpedia-id:Foundations of mathematics dbpedia-it:Foundations of mathematics dbpedia-ja:Foundations of mathematics dbpedia-ko:Foundations of mathematics dbpedia-mk:Foundations of mathematics http://my.dbpedia.org/resource/သင်္ချာအခြေခံ dbpedia-nl:Foundations of mathematics dbpedia-pl:Foundations of mathematics dbpedia-pt:Foundations of mathematics dbpedia-ru:Foundations of mathematics dbpedia-sh:Foundations of mathematics dbpedia-simple:Foundations of mathematics dbpedia-sl:Foundations of mathematics dbpedia-sr:Foundations of mathematics dbpedia-th:Foundations of mathematics dbpedia-tr:Foundations of mathematics dbpedia-uk:Foundations of mathematics dbpedia-zh:Foundations of mathematics https://global.dbpedia.org/id/4z2Z3 |
| prov:wasDerivedFrom | wikipedia-en:Foundations_of_mathematics?oldid=1116273692&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Foundations_of_mathematics |
| is dbo:academicDiscipline of | dbr:Juliette_Kennedy dbr:Wolfgang_Rautenberg |
| is dbo:knownFor of | dbr:Anders_C._Hansen |
| is dbo:mainInterest of | dbr:Grigori_Mints |
| is dbo:wikiPageDisambiguates of | dbr:FOM |
| is dbo:wikiPageRedirects of | dbr:Grundlagenkrise dbr:Grundlagenkrise_der_Mathematik dbr:Foundational_crisis_of_mathematics dbr:Foundations_of_Mathematics dbr:Math_crisis dbr:Foundation_for_mathematics dbr:Foundational_crisis_in_mathematics dbr:Foundational_mathematics dbr:Foundational_status_of_arithmetic dbr:Foundations_of_math dbr:Foundations_problem_in_mathematics dbr:Foundation_of_mathematics dbr:The_Foundations_of_Mathematics |
| is dbo:wikiPageWikiLink of | dbr:Begriffsschrift dbr:Benedikt_Löwe dbr:Principia_Mathematica dbr:Process_philosophy dbr:Quasi-empiricism_in_mathematics dbr:FOM dbr:List_of_academic_fields dbr:List_of_fields_of_doctoral_studies_in_the_United_States dbr:Metalogic dbr:Metamathematics dbr:One,_No_One_and_One_Hundred_Thousand dbr:Bertrand_Russell dbr:David_Hilbert dbr:David_Lewis_(philosopher) dbr:Algorithm dbr:Horizon dbr:Hugh_Boyd_Secondary_School dbr:John_von_Neumann dbr:Josiah_Royce dbr:Jouko_Väänänen dbr:Peano_axioms dbr:Richard_D._Gill dbr:Richard_Dedekind dbr:Univalent_foundations dbr:Universe_(mathematics) dbr:Valery_Glivenko dbr:Vladimir_Andreyevich_Uspensky dbr:Von_Neumann–Bernays–Gödel_set_theory dbr:David_Corfield dbr:Definitions_of_mathematics dbr:Index_of_philosophy_articles_(D–H) dbr:Institute_for_the_Management_of_Information_Systems dbr:Introduction_to_Mathematical_Philosophy dbr:Intuitionism dbr:Intuitionistic_type_theory dbr:List_of_important_publications_in_mathematics dbr:List_of_incomplete_proofs dbr:List_of_mathematical_logic_topics dbr:List_of_people_from_Italy dbr:Notre_Dame_Journal_of_Formal_Logic dbr:Timeline_of_category_theory_and_related_mathematics dbr:An_Introduction_to_the_Philosophy_of_Mathematics dbr:Anders_C._Hansen dbr:Mathematical_logic dbr:Mathematicism dbr:Mathematics dbr:Plural_quantification dbr:Raymond_Louis_Wilder dbr:The_Principles_of_Mathematics dbr:Upper_ontology dbr:Edward_Vermilye_Huntington dbr:Ennio_de_Giorgi dbr:Function_(mathematics) dbr:Georg_Cantor dbr:Georg_Hamel dbr:Gerhard_Gentzen dbr:Glossary_of_areas_of_mathematics dbr:Glossary_of_computer_science dbr:Gottlob_Frege dbr:Moses_Schönfinkel dbr:Naive_set_theory dbr:Andrey_Markov_Jr. dbr:Andrzej_Grzegorczyk dbr:Anne_Sjerp_Troelstra dbr:Arithmetization_of_analysis dbr:Leopold_Kronecker dbr:Logic dbr:Louis_Couturat dbr:Ludwig_Wittgenstein dbr:Bohuslav_Balcar dbr:Calculus_of_constructions dbr:Zermelo–Fraenkel_set_theory dbr:Felix_Kaufmann dbr:Fundamenta_Mathematicae dbr:Ignoramus_et_ignorabimus dbr:Ordered_pair dbr:Paradigm_shift dbr:Pocket_set_theory dbr:Primitive_recursive_arithmetic dbr:Steve_Simpson_(mathematician) dbr:Structuralism_(philosophy_of_mathematics) dbr:Structure_(mathematical_logic) dbr:Mathematical_practice dbr:Brouwer–Hilbert_controversy dbr:Aczel's_anti-foundation_axiom dbr:Tomek_Bartoszyński dbr:Type_theory dbr:Where_Mathematics_Comes_From dbr:Juliette_Kennedy dbr:Lisl_Gaal dbr:Paraconsistent_logic dbr:Abraham_Fraenkel dbr:Alan_Turing dbr:Alexander_S._Kechris dbr:Czesław_Ryll-Nardzewski dbr:Dag_Normann dbr:Edmund_Husserl dbr:Eric_Harold_Neville dbr:Eric_W._Weisstein dbr:Ernst_Cassirer dbr:Ernst_Zermelo dbr:First-order_logic dbr:Nicolas_Bourbaki dbr:Nominalism dbr:Formal_language dbr:Formalism_(philosophy) dbr:Graph_of_a_function dbr:Hans_Freudenthal dbr:Hilbert's_program dbr:History_of_logic dbr:History_of_manifolds_and_varieties dbr:History_of_mathematics dbr:List_of_Italian_scientists dbr:Ludomir_Newelski dbr:Mathematical_problem dbr:Platonic_realism dbr:Primitive_notion dbr:19th_century_in_science dbr:Grigori_Mints dbr:Grundlagenkrise dbr:Grundlagenkrise_der_Mathematik dbr:Helena_Rasiowa dbr:Henri_Bergson dbr:Ion_Barbu dbr:Ivar_Otto_Bendixson dbr:Jacques_Herbrand dbr:Jean_le_Rond_d'Alembert dbr:Jean_van_Heijenoort dbr:Covering_lemma dbr:Jeffrey_Yi-Lin_Forrest dbr:Arnon_Avron dbr:Abhandlungen_aus_dem_Mathematischen_Seminar_der_Universität_Hamburg dbr:Ackermann_set_theory dbr:Charles_Sanders_Peirce dbr:Jeremy_Avigad dbr:Jerzy_Łoś dbr:Jewish_culture dbr:L._E._J._Brouwer dbr:Lambda_calculus dbr:Lazare_Carnot dbr:Blakers–Massey_theorem dbr:Syntactic_Structures dbr:Colin_McLarty dbr:Tilla_Weinstein dbr:Discrete_space dbr:Axiomatic_system dbr:Manifold dbr:Boolean_algebras_canonically_defined dbr:Philosophy_of_mathematics dbr:Sophie_Germain dbr:Srinivasa_Ramanujan dbr:Classical_logic dbr:Classical_mathematics dbr:Grundlagen_der_Mathematik dbr:Independence-friendly_logic dbr:Kurt_Grelling dbr:Kurt_Gödel dbr:Metaphysics dbr:Natural_number dbr:Nelson_Goodman dbr:Raphael_M._Robinson dbr:Set_(mathematics) dbr:Set_theory dbr:Oskar_Becker dbr:Mathematics_Subject_Classification dbr:Salamis_Tablet dbr:Unifying_theories_in_mathematics dbr:Foundational_crisis_of_mathematics dbr:Foundations_of_Mathematics dbr:The_Unreasonable_Effectiveness_of_Mathematics_in_the_Natural_Sciences dbr:The_Mathematical_Coloring_Book dbr:Evert_Willem_Beth dbr:Finitary dbr:Richard's_paradox dbr:Scott–Potter_set_theory dbr:Morse–Kelley_set_theory dbr:Vladimir_Kanovei dbr:Wilbur_Knorr dbr:Set-theoretic_definition_of_natural_numbers dbr:Setoid dbr:Paul_Finsler dbr:Reverse_Mathematics:_Proofs_from_the_Inside_Out dbr:Tarski's_undefinability_theorem dbr:Outline_of_academic_disciplines dbr:Outline_of_formal_science dbr:Éléments_de_mathématique dbr:Sylvester_Medal dbr:Wolfgang_Rautenberg dbr:The_Higher_Infinite dbr:Math_crisis dbr:Foundation_for_mathematics dbr:Foundational_crisis_in_mathematics dbr:Foundational_mathematics dbr:Foundational_status_of_arithmetic dbr:Foundations_of_math dbr:Foundations_problem_in_mathematics dbr:Foundation_of_mathematics dbr:The_Foundations_of_Mathematics |
| is dbp:field of | dbr:Juliette_Kennedy dbr:Wolfgang_Rautenberg |
| is dbp:mainInterests of | dbr:Vladimir_Andreyevich_Uspensky dbr:Grigori_Mints |
| is dbp:subjects of | dbr:The_Principles_of_Mathematics |
| is foaf:primaryTopic of | wikipedia-en:Foundations_of_mathematics |