Explore >> Select a destination
|
You are here 
|
divisbyzero.com | ||
| | | | |
jdh.hamkins.org
|
|
| | | | | This will be a series of lectures on the philosophy of mathematics, given at Oxford University, Michaelmas term 2018. The lectures are mainly intended for undergraduate students preparing for exam ... | |
| | | | |
cre8math.com
|
|
| | | | | Now that I've moved on to semi-retirement, there is time to take on a 25-year-old project: my textbook on polyhedra! I became interested in polyhedra during graduate school, when I was fascinated by the trio of books by Magnus Wenninger:Polyhedron Models,Dual Models, andSpherical Models. I don't know how many times I checked outPolyhedron Models from... | |
| | | | |
mycqstate.wordpress.com
|
|
| | | | | This post is a follow-up on some somewhat off-hand comments that I made earlier regarding the notion of truth in a "proof-based" discipline such as pure mathematics or theoretical computer science. Since the former is easier to circumscribe and also has a larger literature available on it, for the purposes of the post I will... | |
| | | | |
xenaproject.wordpress.com
|
|
| | | This is a guest post, written by Zhangir Azerbayev. Zhangir is an undergraduate at Yale, majoring in computer science and mathematics. He completed this work while visiting Carnegie Mellon's Hoskinson Center for Formal Mathematics. Introduction The history of interactive theorem proving can be told as a story of allowing the user to interact with the... | ||
