Wikipedia AI summary

Timeline of mathematical logic

A timeline of mathematical logic; see also history of logic.

AI wikipedia summery

SupertaskPhilosophy of mathematicsMathematical objectLogicismHistory of mathematical logicHistory of logicCategory of setsAbstract categoryConcreteCategory theoryAutomated theorem provingAlgebraic logicAbstract logicType theoryTuring machineRecursive setRecursionPrimitive recursive functionLambda calculusKolmogorov complexityP versus NP problemundecidabledecidableDecision problemComputable setComputable functionComputably enumerableChurch–Turing thesisChurch encodingComputability theory

© 2023-2025 Copyright: Wikisum.wiki

This page summery from https://en.wikipedia.orgTimeline_of_mathematical_logic