| dbpprop:abstract
|
- Mathematical logic is a subfield of mathematics with close connections to computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. Mathematical logic is often divided into the subfields of set theory, model theory, recursion theory, and proof theory. These areas share basic results on logic, particularly first-order logic, and definability. In computer science (particularly in the ACM Classification) mathematical logic is seen as encompassing additional topics that are not detailed in this article; see logic in computer science for those. Since its inception, mathematical logic has contributed to, and has been motivated by, the study of foundations of mathematics. This study began in the late 19th century with the development of axiomatic frameworks for geometry, arithmetic, and analysis. In the early 20th century it was shaped by David Hilbert's program to prove the consistency of foundational theories. Results of Kurt Gödel, Gerhard Gentzen, and others provided partial resolution to the program, and clarified the issues involved in proving consistency. Work in set theory showed that almost all ordinary mathematics can be formalized in terms of sets, although there are some theorems that cannot be proven in common axiom systems for set theory. Contemporary work in the foundations of mathematics often focuses on establishing which parts of mathematics can be formalized in particular formal systems, rather than trying to find theories in which all of mathematics can be developed.
- Die Mathematische Logik ist ein Teilgebiet der Mathematik. Oft wird sie in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Es gibt aber auch Teile der mathematischen Logik, welche nicht mit Grundlagenfragen verbunden sind. Ein Aspekt der Untersuchungen der mathematischen Logik ist das Studium der Ausdrucksstärke von formalen Logiken und formalen Beweissystemen. Eine Möglichkeit die Stärke solcher Systeme zu messen besteht darin, festzustellen was damit bewiesen oder definiert werden kann. Früher wurde die mathematische Logik auch symbolische Logik (als Gegensatz zur philosophischen Logik) oder Metamathematik genannt. Der erste Ausdruck wird immer noch verwendet, der letztere wird mittlerweile nur noch für gewisse Aspekte der Beweistheorie verwendet.
- La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera amb que aquests codifiquen els conceptes intuitius de demostració matemàtica i computació com una part dels fonaments de la matemàtica Es pot entendre com la matemàtica de la lògica ja que comprèn aquelles parts de la lògica que poden ser modelades matemàticament. Anteriorment la lògica matemàtica es coneixia com lògica simbòlica i metamatemàtica que ara són termes restringits a determinats aspectes de la teoria de la prova. Van ser George Boole i Augustus De Morgan, durant el segle XIX, els que van sistematitzar matemàticament la lògica, per això van haver de reformar i completar la lògica tradicional aristotèlica. La lògica matemàtica inclou la teoria del model i la teoria de la prova i recursió o altrament computabilitat. Hi ha molta relació amb la ciència informàtica.
- Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou. Zabývá se zkoumáním, formalizováním a matematizováním zejména těch oblastí logiky, na jejichž základech je postavena matematika. V centru jejího zájmu jsou pojmy jako důkaz, teorie, axiomatizace, model, bezespornost, úplnost, rozhodnutelnost.
- La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación. La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas. La lógica matemática fue también llamada lógica simbólica. El primer término todavía se utiliza como sinónimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teoría de la demostración. La lógica matemática no es la "lógica de las matemáticas" sino la "matemática de la lógica". Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente.
- La logique mathématique est née à la fin du XIX siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et Hilbert de donner une fondation axiomatique aux mathématiques; la découverte par George Boole de l'existence de structures algébriques permettant de définir un « calcul de vérité ». La logique mathématique a repris l'objectif de la logique, d'étudier le raisonnement, mais en se restreignant au langage des mathématiques qui présente l'avantage d'être extrêmement normalisé. Avant de trouver son nom actuel, attribué à Giuseppe Peano, elle s'est appelée « logique symbolique » (en opposition à la logique philosophique) et « métamathématique ». Au cours du XX siècle, la logique mathématique s'est ramifiée en de nombreux sous-domaines : la théorie des ensembles; la théorie de la démonstration; la théorie des modèles; la théorie de la calculabilité. Cette classification en quatre grands axes, généralement admise, est celle proposée par Jon Barwise éditeur de l'ouvrage collectif Handbook of Mathematical Logic. Depuis, un cinquième grand axe semble se dessiner avec les travaux sur la théorie des types.
- A matematikai logika a matematika egyik fejezete, a matematikai rendszereket, a matematikai bizonyításokat, matematikai módszerekkel vizsgálja. A matematikai logika célja a helyes következtetési sémák, helyes definíciók vizsgálata, beleértve a matematikai logika által alkalmazott következtetési sémákat, szabályokat, definíciókat is. A matematikai logika korábban a szimbolikus logika részét képezte, abból fejlődött ki azáltal, hogy a szimbolikus logika formális módszereit kezdte alkalmazni a matematikai következtetések és bizonyítások vizsgálatára.
- La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica. Sebbene molti siano indotti a pensare che la logica matematica sia la matematica della logica, è più giustificato affermare che essa è la logica applicata alla matematica. Essa si occupa delle parti della logica che possono essere modellate matematicamente. Altri termini utilizzati spesso nel passato sono logica simbolica (termine contrapposto a logica filosofica) e metamatematica, termine che ora si applica più specificamente a taluni aspetti della teoria della dimostrazione.
- 数理論理学（すうりろんりがく）とは、論理を数学によって研究する学問である。記号論理学（きごうろんりがく）とも言う。
- De wiskundige logica is een deelgebied van de wiskunde. De wiskundige logica wordt vaak onderverdeeld in de deelgebieden groepentheorie, modeltheorie, bewijstheorie, verzamelingenleer, constructivisme, recursietheorie en berekenbaarheid. Onderzoek op het gebied van de wiskundige logica heeft bijgedragen aan de grondslagen van de wiskunde, die weer de logica in het algemeen ondersteunden. Maar er zijn ook onderdelen van de wiskundige logica die niet met grondslagvragen verbonden zijn. Formele logica en het formele wiskundig bewijs horen bij de wiskundige logica. Vroeger werd de wiskundige logica ook wel symbolische logica genoemd, en op één lijn getrokken met disciplines waar qua onderzoeksgebied enige overlap mee is, met name de filosofische logica en de metawiskunde. De eerste discipline betreft vooral de algemene logica, de filosofie van de logica en de metalogica, maar wordt soms ook nog gebruikt voor de wiskundige logica, zoals in de Association for Symbolic Logic. Metawiskunde heeft vooral betrekking op bepaalde aspecten van de bewijstheorie. In de vorige eeuw was het programma van David Hilbert en het onderzoek van consistentie van onder meer Kurt Gödel van belang.
- Predikatslogikk har generelt to betydninger: logikk studert med matematiske metoder matematikkens logikk. Ofta avser man begge disse tolkninger: man studerar matematikkens logikk med matematiske metoder. Begrepet skal forstås som kontrast til Filosofisk logikk.
- Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się on na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki. W początkowym okresie rozwoju tego działu używano też nazwy logika symboliczna (w celu odróżnienia od logiki filozoficznej). Nazwa logika matematyczna została użyta po raz pierwszy przez włoskiego matematyka Giuseppe Peano.
- Математическая логика (теоретическая логика, символическая логика) — раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен. » Согласно определению П. С. Порецкого, «математическая логика есть логика по предмету, математика по методу». Согласно определению Н. И. Кондакова, «математическая логика — вторая, после традиционной логики, ступень в развитии формальной логики, применяющая математические методы и специальный аппарат символов и исследующая мышление с помощью исчислений (формализованных языков). » Это определение соответствует определению С. К. Клини: математическая логика — это «логика, развиваемая с помощью математических методов». Так же А. А. Марков определяет современную логику «точной наукой, применяющей математические методы». Все эти определения не противоречат, но дополняют друг друга. Применение в логике математических методов становится возможным тогда, когда суждения формулируются на некотором точном языке. Такие точные языки имеют две стороны: синтаксис и семантику. Синтаксисом называется совокупность правил построения объектов языка (обычно называемых формулами). Семантикой называется совокупность соглашений, описывающих наше понимание формул (или некоторых из них) и позволяющих считать одни формулы верными, а другие — нет. Важную роль в математической логике играют понятия дедуктивной теории и исчисления. Исчислением называется совокупность правил вывода, позволяющих считать некоторые формулы выводимыми. Правила вывода подразделяются на два класса. Одни из них непосредственно квалифицируют некоторые формулы как выводимые. Такие правила вывода принято называть аксиомами. Другие же позволяют считать выводимыми формулы <math>A</math>, синтаксически связанные некоторым заранее определённым способом с конечными наборами <math>A_1, \ldots A_n</math> выводимых формул. Широко применяемым правилом второго типа является правило modus ponens: если выводимы формулы <math>A</math> и <math>(A\to B)</math>, то выводима и формула <math>B</math>. Отношение исчислений к семантике выражается понятиями семантической пригодности и семантической полноты исчисления. Исчисление И называется семантически пригодным для языка Я, если любая выводимая в И формула языка Я является верной. Аналогично, исчисление И называется семантически полным в языке Я, если любая верная формула языка Я выводима в И. Многие из рассматриваемых в математической логике языков обладают семантически полными и семантически пригодными исчислениями. В частности, известен результат К. Гёделя о том, что так называемое классическое исчисление предикатов является семантически полным и семантически пригодным для языка классической логики предикатов первого порядка. С другой стороны, имеется немало языков, для которых построение семантически полного и семантически пригодного исчисления невозможно. В этой области классическим результатом является теорема Гёделя о неполноте, утверждающая невозможность семантически полного и семантически пригодного исчисления для языка формальной арифметики. Стоит отметить, что на практике множество элементарных логических операций является обязательной частью набора инструкций всех современных микропроцессоров и соответственно входит в языки программирования. Это является одним из важнейших практических приложений методов математической логики, изучаемых в современных учебниках информатики.
- Matematisk logik har generellt två betydelser. Det kan betyda logik studerad med matematiska metoder eller matematikens logik. Ofta avser man båda dessa tolkningar: man studerar matematikens logik med matematiska metoder. Begreppet ska förstås som kontrast till Filosofisk logik.
- Çağdaş mantığın ve çağdaş felsefenin kurucusu Alman mantıkçısı Gottlob Frege, "Matematik mantığın uygulama alanıdır" görüşünden hareketle matematiğin, mantığın aksiyomatik sistemi üzerine kurulabileceğini düşünmüştür. Bu düşünceden hareket ederek aritmetiğin temelleri konusundaki felsefi çalışmaları için bir mantık sistemi geliştirmişti. Daha sonra, Frege'nin çalışmalarına dayanarak, Russell ve Whitehead 1910-1913 yılları arasında Principia Mathematica adını verdikleri eserde matematiği mantığa indirgeyerek formel bir sistem haline getirmeye çalıştılar. Fakat matematiğin formel hale getirilemeyeceğini Gödel 1933'te yayınladığı bir kitabındaki (Über die unentsheidbare Saetze der Principia Mathematica und verwander Systeme) meşhur teoremiyle gösterdi. Alan Robinson, 1967'de çözülüm teorem ispatlama yöntemini geliştirdi. Bu yöntem 1972'de A. Colmaurer tarafından ilk mantık programlama dilinin (Prolog) geliştirilmesine yol açtı. Bu dil 1975'te D. Warren tarafından “Warren Abstract Machine” (WAM) olarak ugulandı. Kişisel bilgisayarlar üzerinde ilk uygulamalar 1980'lerde ortaya çıktı. Daha sonra, Frege'nin çalışmalarına dayanarak, Russell ve Whitehead 1910-1913 yılları arasında Principia Mathematica adını verdikleri eserde matematiği mantığa indirgeyerek formel bir sistem haline getirmeye çalıştılar. Fakat matematiğin formel hale getirilemeyeceğini Gödel 1933'te yayınladığı bir kitabındaki (Über die unentsheidbare Saetze der Principia Mathematica und verwander Systeme) meşhur teoremiyle gösterdi. Alan Robinson, 1967'de çözülüm teorem ispatlama yöntemini geliştirdi. Bu yöntem 1972'de A. Colmaurer tarafından ilk mantık programlama dilinin geliştirilmesine yol açtı. Bu dil 1975'te D. Warren tarafından “Warren Abstract Machine” (WAM) olarak ugulandı. Kişisel bilgisayarlar üzerinde ilk uygulamalar 1980'lerde ortaya çıktı.
- Математи́чна ло́гіка є наукою про закони математичного мислення. Предметом математичної логіки є математичні теорії в цілому, які вивчаються за допомогою логіко-математичних мов. При цьому в першу чергу цікавляться питаннями несуперечливості математичних теорій, їх розв'язності та повноти.
- 数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。
|
| rdfs:comment
|
- Mathematical logic is a subfield of mathematics with close connections to computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.
- Die Mathematische Logik ist ein Teilgebiet der Mathematik. Oft wird sie in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Es gibt aber auch Teile der mathematischen Logik, welche nicht mit Grundlagenfragen verbunden sind.
- La lògica matemàtica és la disciplina inclosa en la matemàtica que estudia els sistemes formals en relació amb la manera amb que aquests codifiquen els conceptes intuitius de demostració matemàtica i computació com una part dels fonaments de la matemàtica Es pot entendre com la matemàtica de la lògica ja que comprèn aquelles parts de la lògica que poden ser modelades matemàticament.
- Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou. Zabývá se zkoumáním, formalizováním a matematizováním zejména těch oblastí logiky, na jejichž základech je postavena matematika. V centru jejího zájmu jsou pojmy jako důkaz, teorie, axiomatizace, model, bezespornost, úplnost, rozhodnutelnost.
- La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación. La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas.
- La logique mathématique est née à la fin du XIX siècle de la logique au sens philosophique du terme. Ses débuts furent marqués par la rencontre entre deux idées nouvelles : la volonté chez Frege, Russell, Peano et Hilbert de donner une fondation axiomatique aux mathématiques; la découverte par George Boole de l'existence de structures algébriques permettant de définir un « calcul de vérité ».
- A matematikai logika a matematika egyik fejezete, a matematikai rendszereket, a matematikai bizonyításokat, matematikai módszerekkel vizsgálja. A matematikai logika célja a helyes következtetési sémák, helyes definíciók vizsgálata, beleértve a matematikai logika által alkalmazott következtetési sémákat, szabályokat, definíciókat is.
- La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica. Sebbene molti siano indotti a pensare che la logica matematica sia la matematica della logica, è più giustificato affermare che essa è la logica applicata alla matematica. Essa si occupa delle parti della logica che possono essere modellate matematicamente.
- 数理論理学（すうりろんりがく）とは、論理を数学によって研究する学問である。記号論理学（きごうろんりがく）とも言う。
- De wiskundige logica is een deelgebied van de wiskunde. De wiskundige logica wordt vaak onderverdeeld in de deelgebieden groepentheorie, modeltheorie, bewijstheorie, verzamelingenleer, constructivisme, recursietheorie en berekenbaarheid. Onderzoek op het gebied van de wiskundige logica heeft bijgedragen aan de grondslagen van de wiskunde, die weer de logica in het algemeen ondersteunden. Maar er zijn ook onderdelen van de wiskundige logica die niet met grondslagvragen verbonden zijn.
- Predikatslogikk har generelt to betydninger: logikk studert med matematiske metoder matematikkens logikk. Ofta avser man begge disse tolkninger: man studerar matematikkens logikk med matematiske metoder. Begrepet skal forstås som kontrast til Filosofisk logikk.
- Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki. Koncentruje się on na analizowaniu zasad rozumowania oraz pojęć z nim związanych z wykorzystaniem sformalizowanych oraz uściślonych metod i narzędzi matematyki. W początkowym okresie rozwoju tego działu używano też nazwy logika symboliczna (w celu odróżnienia od logiki filozoficznej).
- Математическая логика (теоретическая логика, символическая логика) — раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен. » Согласно определению П. С.
- Matematisk logik har generellt två betydelser. Det kan betyda logik studerad med matematiska metoder eller matematikens logik. Ofta avser man båda dessa tolkningar: man studerar matematikens logik med matematiska metoder. Begreppet ska förstås som kontrast till Filosofisk logik.
- Çağdaş mantığın ve çağdaş felsefenin kurucusu Alman mantıkçısı Gottlob Frege, "Matematik mantığın uygulama alanıdır" görüşünden hareketle matematiğin, mantığın aksiyomatik sistemi üzerine kurulabileceğini düşünmüştür. Bu düşünceden hareket ederek aritmetiğin temelleri konusundaki felsefi çalışmaları için bir mantık sistemi geliştirmişti.
- Математи́чна ло́гіка є наукою про закони математичного мислення. Предметом математичної логіки є математичні теорії в цілому, які вивчаються за допомогою логіко-математичних мов.
- 数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 数理逻辑的研究范围是逻辑中可被数学模式化的部分。以前称为符号逻辑（相对于哲学逻辑），又称元数学，后者的使用现已局限于证明论的某些方面。
|
![[RDF Data]](/statics/sw-cube.png)
