-
Join 81 other subscribers
-
Recent Posts
- A Bad Trip to Infinity [4800 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.[7500 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: March 2017
Logic without Bound Variables [200 views]
I’ve already described the relatively simple Monadic Hybrid Calculus that allows you to say simple things formally without bound variables. For example, sG may mean “Socrates is Greek”, [G]M “all Greeks are Mortal”, and the conclusion “Socrates is Mortal”, sM. … Continue reading
Posted in Uncategorized
Leave a comment
Bill Wadge's Blog 