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
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,
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
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
https://randall-holmes.github.io/https://randall-holmes.github.io/
Quine's set theory New Foundations, with a sideline in computer-assisted reasoning. I have a general somewhat more than amateur interest in the history and philosophy of mathemati
Systems approach (IEKO)https://www.isko.org/cyclo/systems.htm
System Theory: Foundations, Development and Applications”, which summarizes his research. Therefore, it is 1968 that is considered the year of the official birth of SA ( Gle
The review attempts to compare different points of view on the essence of the systems approach, describe the terminological confusion around it and analyse the numerous definitions
All links @ cidoku.nethttp://cidoku.net/en/links/all
Set Theory and Foundations of Mathematics An online textbook on set theory, algebra, formal arithmetic, etc. PlanetMath A mathematics encyclopedia. Wolfram MathWorld Another big o
Ilan's Homepagehttps://ilanb.xyz/
I & II of Software Foundations . CLI Tools I also don't remember how I learned CLI tools, but lukesmith's productivity videos ( example ) were a big inspiration. Recently, I found
Site description
luna's up on her bullshit again — LavaTech WriteFreelyhttps://wf.lavatech.top/lun-4/
IM craze is the core foundations of the Web, as it is its own freedom that enables the competition to exist. I would suggest, then, that a “metaverse” that attempts to displace th
do you want to send words at me? reach at email blogpost@l4.pm
Todos los enlaces @ cidoku.nethttp://cidoku.net/links/all
Set Theory and Foundations of Mathematics An online textbook on set theory, algebra, formal arithmetic, etc. PlanetMath A mathematics encyclopedia. Wolfram MathWorld Another big o
Orgy of the Will: A Philosophy of the Futurehttp://orgyofthewill.net/
like Putin 1672. Laying foundations 1671. The Bastardization Process 1670. The new Turing test 1669. The redneck's place 1668. Gay civilization 1667. The superior response 1666. B
Find more...