Explore >> Select a destination
|
You are here 
|
kuruczgy.com | ||
| | | | |
www.jeremykun.com
|
|
| | | | | For those who aren't regular readers: as a followup to this post, there are four posts detailing the basic four methods of proof, with intentions to detail some more advanced proof techniques in the future. You can find them on this blog's primers page. Do you really want to get better at mathematics? Remember when you first learned how to program? I do. I spent two years experimenting with Java programs on my own in high school. | |
| | | | |
homotopytypetheory.org
|
|
| | | | | I was asked about my proof showing that positive h-levels are closed under W (assuming extensionality), so I decided to write a short note about it. W-types are defined inductively as follows (using Agda notation): data W (A : Set) (B : A ? Set) : Set where sup : (x : A) ? (B... | |
| | | | |
tcode2k16.github.io
|
|
| | | | | a random blog about cybersecurity and programming | |
| | | | |
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... | ||
