wiby  
Settings



Home Page - Metamath

https://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 site

https://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 Science

http://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 Concrete

http://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.com

http://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 Platonist

https://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 Geometry

https://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 Primer

https://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 Smalltalk

https://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 Interest

https://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

Talks

https://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 Surfing

http://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...