Explore >> Select a destination
|
You are here 
|
math.andrej.com | ||
| | | | |
gowers.wordpress.com
|
|
| | | | | It's been a while since I have written a post in the "somewhat philosophical" category, which is where I put questions like "How can one statement be stronger than an another, equivalent, statement?" This post is about a question that I've intended for a long time to sort out in my mind but have found... | |
| | | | |
scottaaronson.blog
|
|
| | | | | In Michael Sipser's Introduction to the Theory of Computation textbook, he has one Platonically perfect homework exercise, so perfect that I can reconstruct it from memory despite not having opened the book for over a decade. It goes like this: Let f:{0,1}*?{0,1} be the constant 1 function if God exists, or the constant 0 function... | |
| | | | |
leanprover-community.github.io
|
|
| | | | | A few weeks ago, we announced the completion of the liquid tensor experiment (LTE for short). What this means is that we stated and (completely) proved the following result in Lean: variables (p' p : | |
| | | | |
llogiq.github.io
|
|
| | | |||
