Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
XOR’s Hammer
xorshammer.com
Some things in mathematical logic that I find interesting
A language which does term inference
xorshammer.com
·
919w
Playing Games in the Transfinite: An Introduction to “Ordinal Chomp”
xorshammer.com
·
920w
Avoiding Set-Theoretic Paradoxes using Symmetry
xorshammer.com
·
921w
The Undecidability of Identities Involving Sine, Exponentiation, and Absolute Value
xorshammer.com
·
922w
A Geometrically Natural Uncomputable Function
xorshammer.com
·
924w
Integrability Conditions (Guest Post!)
xorshammer.com
·
924w
Lots of Fun Math Papers
xorshammer.com
·
925w
Non-Rigorous Arguments 1: Two Formulas For e
xorshammer.com
·
925w
A Curious Application of Ambiguity with Respect to the Possessive Form
xorshammer.com
·
925w
Almost a Number-Theoretic Miracle
xorshammer.com
·
925w
Set Theory and Weather Prediction
xorshammer.com
·
926w
« Page 2
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
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
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help