XOR’s Hammer xorshammer.com

Some things in mathematical logic that I find interesting

Parenting Recommendations
xorshammer.com·12w
The Axiom of Choice Isn’t Always Non-Constructive
xorshammer.com·197w
A Nice Definition of “Field Theory”
xorshammer.com·267w
But Why Is Proof by Contradiction Non-Constructive?
xorshammer.com·267w
What does it mean to extend the manipulability of differentials?
xorshammer.com·341w
Hoping for Lane Closures
xorshammer.com·341w
Differentiating Sine Without Doing Any Work or Knowing Anything
xorshammer.com·342w
How does the Infinitesimal Intuition About Lie Brackets Actually Work?
xorshammer.com·344w
How is it even possible for a sailboat to sail into the wind?
xorshammer.com·468w
Making Money Disappear Through Infinite Iteration, Now In YouTube Form!
xorshammer.com·471w
The CGP Grey Sheaf of Continents
xorshammer.com·512w
Thermodynamics is Easier Than I Thought
xorshammer.com·522w
Gravity is Stronger Than I Thought
xorshammer.com·522w
The Arithmetic Hierarchy Meets the Real World
xorshammer.com·523w
YouTube Physics Explanations Shouldn’t Use the Right-Hand Rule
xorshammer.com·523w
A Complexity-Theoretic Account of The Strong Law of Small Numbers
xorshammer.com·523w
Two Constants: Khinchin and Chaitin
xorshammer.com·524w
A Good Definition of Randomness
xorshammer.com·524w
Why is the derivative of a generating function meaningful?
xorshammer.com·561w
Complexity to Simplicity and Back Again
xorshammer.com·744w

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help