-
Join 79 other subscribers
-
Recent Posts
- A Bad Trip to Infinity [4700 views]
- GOFAI is dead – long live (NF) AI! [10,000 views]
- 50 Years of Wow- I lived through 5 decades of computing milestones [4400 views]
- Just How Smart are You, ChatGPT? I quiz chatGPT about math.[7400 views]
- To Be or Not to Be – Mathematical Existence and the Axiom of Choice [3900 views]
Archives
- March 2023
- February 2023
- December 2022
- November 2022
- July 2022
- June 2022
- May 2022
- March 2022
- February 2022
- January 2022
- December 2021
- August 2021
- June 2021
- May 2021
- March 2021
- February 2021
- January 2021
- September 2020
- August 2020
- July 2020
- June 2020
- April 2020
- March 2020
- February 2020
- January 2020
- December 2019
- October 2019
- June 2019
- April 2019
- March 2019
- October 2018
- September 2018
- November 2017
- June 2017
- May 2017
- April 2017
- March 2017
- March 2016
- January 2016
- December 2015
- November 2015
- October 2015
- September 2015
- July 2012
- April 2012
- March 2012
- December 2011
- May 2011
- April 2011
- March 2011
- February 2011
- July 2010
Meta
Monthly Archives: October 2015
Laws of the Universe and Teaching
Time for another break from research (at least the normal kind). I seem to be always discovering fundamental Laws of the Universe, especially about teaching. I’d like to share some of them with you. They are each called “Wadge’s Law” … Continue reading
Posted in musings
Leave a comment
Universal Hybrid Calculus [250 views]
The Universal Hybrid Calculus (UHC) is a simple logical formalism that has the power of the monadic predicate calculus but has no bound variables. Natural language statements (which also do not use variables) can be formulated more directly in the … Continue reading