Home›Logic and Foundations›Proved By (Other Fields)›Richard E. StearnsBrowse ByRichard E. StearnsFactsRichard E. StearnsSourcesComments (0)Reader Challenges (0)FactsComparisonEra Of EmergenceWell-attested1850 1Richard E. StearnsFilter Results1 entryBranchAllComputational Complexity Theory (1)Topic AreaAllComputability and Complexity Theory (1)ProvedAll1965 (1)Proved ByAllStephen Cook (1)Statement FormAllImpossibility Theorem (1)Show ResultsTime Hierarchy TheoremRichard E. StearnsSources1. Mathematical Logic (Wikipedia)tier 2Wikimedia FoundationHistory sectionQuote, History sectionMathematical logic emerged in the mid-19th century as a subfield of mathematics, reflecting the confluence of two traditions: formal philosophical logic and mathematics.View the SourceComments (0)No comments yet. Be the first to share a thought.Sign in to join the discussion.Reader Challenges (0)No disputes yet. Spotted an error or a better source? Open the first one.Sign in to dispute this or suggest a correction.