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 ... | |
| | | | |
rjlipton.com
|
|
| | | | | Ideas from algebraic geometry and arithmetic complexity Hyman Bass is a professor of both mathematics and mathematics education at the University of Michigan, after a long and storied career at Columbia University. He was one of the first generation of mathematicians to investigate K-theory, and gave what is now the recognized definition of the first... | |
| | | | |
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... | |
| | | | |
existentialtype.wordpress.com
|
|
| | | It is well-known that constructivists renounce "proof by contradiction", and that classicists scoff at the critique. "Those constructivists," the criticismgoes, "want to rule out proofs by contradiction. How absurd! Look, Pythagoras showed that the square root of two is irrational by deriving a contradiction from the assumption that it is rational. There is nothing wrong... | ||
