Mathematical logic

From Wikiquote
Jump to navigation Jump to search

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics.

Quotes[edit]

  • Frege's development began with... "an epoch-making little book" called Begriffsschrift, translated as Concept Script or Conceptual Notation... Just as Aristotle's Prior Analytics is the foundation of traditional or syllogistic logic—the logic of the categorical three-term syllogism, Frege's Begriffsschrift is the keystone of modern or mathematical logic.
    • Michael Losonsky, Linguistic Turns in Modern Philosophy (2006) pp. 148-149.

External links[edit]

Wikipedia
Wikipedia
Wikipedia has an article about:



Mathematics
Mathematicians
(by country)

AbelAnaxagorasArchimedesAristarchus of SamosAverroesArnoldBanachCantorCartanCohenDescartesDiophantusErdősEuclidEulerFourierGaussGödelGrassmannGrothendieckHamiltonHilbertHypatiaLagrangeLaplaceLeibnizMilnorNewtonvon NeumannNoetherPenrosePerelmanPoincaréPólyaPythagorasRiemannRussellSchwartzSerreTaoTarskiThalesTuringWilesWitten

Numbers

123360eπFibonacci numbersIrrational numberNegative numberNumberPrime numberQuaternion

Concepts

AbstractionAlgorithmsAxiomatic systemCompletenessDeductive reasoningDifferential equationDimensionEllipseElliptic curveExponential growthInfinityIntegrationGeodesicInductionProofPartial differential equationPrinciple of least actionPrisoner's dilemmaProbabilityRandomnessTheoremTopological spaceWave equation

Results

Euler's identityFermat's Last Theorem

Pure math

Abstract algebraAlgebraAnalysisAlgebraic geometry (Sheaf theory) • Algebraic topologyArithmeticCalculusCategory theoryCombinatoricsCommutative algebraComplex analysisDifferential calculusDifferential geometryDifferential topologyErgodic theoryFoundations of mathematicsFunctional analysisGame theoryGeometryGlobal analysisGraph theoryGroup theoryHarmonic analysisHomological algebraInvariant theoryLogicNon-Euclidean geometryNonstandard analysisNumber theoryNumerical analysisOperations researchRepresentation theoryRing theorySet theorySheaf theoryStatisticsSymplectic geometryTopology

Applied math

Computational fluid dynamicsEconometricsFluid mechanicsMathematical physics Science

History of math

Ancient Greek mathematicsEuclid's ElementsHistory of algebraHistory of calculusHistory of logarithmsIndian mathematicsPrincipia Mathematica

Other

Mathematics and mysticismMathematics educationMathematics, from the points of view of the Mathematician and of the PhysicistPhilosophy of mathematicsUnification in science and mathematics