Home Page - Metamathhttps://us.metamath.org/
logic. New Foundations Explorer - Constructs mathematics from scratch, starting from Quine's NF set theory axioms. Higher-Order Logic Explorer - Starts with HOL (also called simpl
Homepage for Miles Mathis science sitehttps://milesmathis.com/
0. OVERVIEW PAPERS and FOUNDATIONS 1. The UNIFIED FIELD. Newton, Lagrange, Coulomb and Maxwell all gave us UFT's. 2. RELATIVITY. Relativity is true; many of the equations are not.
Stephen Wolfram, A New Kind of Sciencehttp://bactra.org/reviews/wolfram/
detour through the foundations of computer science. Theoretical computer science studies the properties of abstract, formal systems which do computations. A common type of problem
Epistemological Pluralism and the Revaluation of the Concretehttp://papert.org/articles/EpistemologicalPluralism.html
reality. From its very foundations, objectivity in science was metaphorically engaged with the language of male domination and female submission. Francis Bacon used the image of t
Love Education 101.comhttp://www.loveeducation101.com/
groups, charities and foundations. It is also a love/friendship for neighbors, pets, animals, nature and all living things. Plato believed that physical attraction was not a requi
Love Education 101.com, Love training, lessons, curriculum and education
Why I am a Platonisthttps://friesian.com/ross/platonis.htm
provides separate foundations, metaphysically and epistemologically, for fact and value, then no nihilist, antinomian, or libertine can take any solace from the theory. We are pre
A Deuteronomy of Kant's Geometryhttps://friesian.com/space-1.htm
work out, and now the foundations of mathematics are found in the axioms of Set Theory, which, if they are not self-evident or provable, can only be synthetic propositions a prior
A Scheme Primerhttps://files.spritely.institute/papers/scheme-primer.html
means that the foundations of Scheme are easy to learn. The R5RS introduction continues with: Scheme demonstrates that a very small number of rules for forming expressions, with n
The Early History Of Smalltalkhttps://worrydream.com/EarlyHistoryOfSmalltalk/
flaws in its logical foundations. By this, I mean that the pure language was supposed to be based on functions, but its most important components—such as lambda expressions,
How to destroy the Earth @ Things Of Interesthttps://qntm.org/destroy
set the Earth on its foundations; it can never be moved", and there are other verses like this, so maybe: the New International Version of the Bible has "earth" written with a low
PreambleDestroying the Earth is harder than you may have been led to believe.You've seen the action movies where the bad guy threatens to destroy the Earth. You've heard people o
Talkshttps://www.scottaaronson.com/talks/default.html
of Institute for Foundations of Data Science, Yale University, New Haven, CT, September 22, 2023. Another version at Woodside High School, CA, February 16, 2024. Another version a
Web Surfinghttp://web.cs.wpi.edu/~jshutt/surfing.html
framework for the foundations of quantum theory and the role played by gravity (Proc. R. Soc. A, July 2009) (23-Apr-19; 07-Jan-21) Bell's conspiracy, Schrödinger's black cat
Find more...