Unified search
Results for “foundations of mathematics”
People
Richard Dedekind
Julius Wilhelm Richard Dedekind was a German mathematician who revolutionized our understanding of real numbers through his elegant Dedekind cuts construction and laid the groundwork for modern abstract algebra and set theory.
MathematicsMathematical Logic
Mathematical logic is the study of formal logic within mathematics, exploring the foundations, structure, and implications of mathematical reasoning through subfields like model theory, proof theory, set theory, and recursion theory.