Explore >> Select a destination
|
You are here 
|
jdh.hamkins.org | ||
| | | | |
www.logicmatters.net
|
|
| | | | | I have mixed feelings about Harrie de Swart's Philosophical and Mathematical Logic (Springer, 2018). For this long book really is a strange mish-mash, supposedly aimed at philosophers. There are chapters (not very good) on e.g. the philosophy of language and "fallacies and unfair discussion methods", and e.g. a section on social choice theory. Then there [...] | |
| | | | |
xorshammer.com
|
|
| | | | | The Axiom of Choice is usually introduced as a non-constructive axiom that mathematicians used to care about but don't really pay much attention to anymore. It's true that mainstream mathematicians often don't pay much attention to it, but it turns out that AC isn't inherently non-constructive: it depends on what the base system it's being... | |
| | | | |
rubaiathabib.me
|
|
| | | | | Note: Our CHI 2021 paper introduces a design framework that facilitates the construction and exploration of embodied representations for algebraic expressions, using interactions inspired by innate arithmetic capabilities. Excellent work led by Nazmus Saquib, see more detailed motivation in this blog post. Mathematical models and expressions traditionally evolved as symbolic representations, with cognitively arbitrary rules... | |
| | | | |
nathanchance.dev
|
|
| | | Recently, I built a computer for school that I installed Windows 10 Pro on (link to the current specs if you are curious). I was a little bummed about leaving Chrome OS because I was going to lose my local Linux development environment; however, Windows Subsystem for Linux is a thing and it has gotten even better with WSL 2, as it is actually running a Linux kernel so there is full Linux compatibility going forward. | ||
