https://e-sygoing.link Latest links in the Mathematics category en-us Sun, 24 May 2026 15:40:15 -0400 https://e-sygoing.link/link/7781615-hilberts-program In 1921, David Hilbert made a proposal for a formalist foundation of mathematics, for which a finitary consistency proof should establish the security of mathematics. From the Stanford Encyclopedia, by Richard Zach. Mon, 26 Jan 2026 09:59:50 -0500 https://e-sygoing.link/go/7781615 https://e-sygoing.link/link/7781618-the-philosophical-implications-of-mathematics This weblog examines what we can learn about our humanness from the act of doing mathematics. Sat, 13 Dec 2025 11:20:52 -0500 https://e-sygoing.link/go/7781618 https://e-sygoing.link/link/7781617-the-philosophy-of-mathematics Notes by R.B. Jones of foundations, problems, logicism and philosophers of mathematics. Sat, 11 Oct 2025 10:46:13 -0400 https://e-sygoing.link/go/7781617 https://e-sygoing.link/link/7781616-19th-century-logic-between-philosophy-and-mathematics Online article by Volker Peckhaus. Thu, 11 Sep 2025 21:08:38 -0400 https://e-sygoing.link/go/7781616 https://e-sygoing.link/link/7781614-holistic-math An enlarged paradigm of mathematical reality that includes psychology as an integral component. Tue, 22 Jul 2025 02:18:45 -0400 https://e-sygoing.link/go/7781614 https://e-sygoing.link/link/7781611-foundations-philosophy-of-mathematics A study guide on the Philosophy of Mathematics provided by The Objectivist Center, including a study guide on the subject. Sun, 06 Apr 2025 22:56:23 -0400 https://e-sygoing.link/go/7781611 https://e-sygoing.link/link/7781602-inconsistent-mathematics Inconsistent mathematics is the study of the mathematical theories that result when classical mathematical axioms are asserted within the framework of a (non-classical) logic which can tolerate the presence of a contradiction without turning every sentence into a theorem. By Chris Mortensen, from the Stanford Encyclopedia. Thu, 03 Apr 2025 07:34:22 -0400 https://e-sygoing.link/go/7781602 https://e-sygoing.link/link/7781601-constructive-mathematics Constructive mathematics is distinguished from its traditional counterpart, classical mathematics, by the strict interpretation of the phrase `there exists' as `we can construct'. In order to work constructively, we need to re-interpret not only the existential quantifier but all the logical connectives and quantifiers as instructions on how to construct a proof of the statement involving these logical expressions. From the Stanford Encyclopedia. Tue, 21 Jan 2025 17:48:21 -0500 https://e-sygoing.link/go/7781601 https://e-sygoing.link/link/7781599-intuitionistic-logic Intuitionistic logic encompasses the principles of logical reasoning which were used by L. E. J. Brouwer in developing his intuitionistic mathematics, beginning in [1907]. Because these principles also underly Russian recursive analysis and the constructive analysis of E. Bishop and his followers, intuitionistic logic may be considered the logical basis of constructive mathematics. From the Stanford Encyclopedia. Sat, 28 Sep 2024 22:20:46 -0400 https://e-sygoing.link/go/7781599 https://e-sygoing.link/link/7781610-on-gdels-philosophy-of-mathematics A paper by Harold Ravitch, Los Angeles Valley College. Fri, 02 Aug 2024 13:43:10 -0400 https://e-sygoing.link/go/7781610