Philosophy of Math

Feeds to Scour
SubscribedAll
Scoured 7 posts in 6.1 ms

Set theory, pluralism, and the multiverse view—About Logic #13

 ∞Gödel
infinitelymore.xyz·

Proof System Timelines

 ∞Gödel  Content type: Blog
klatz.co·

đœ‡âąđœ†âąÏ”âąđ›ż-Calculus: A Self Optimizing Language that Seems to Exhibit Paradoxical Transfinite Cognitive Capabilities

 λLambda Calculus  Content type: Academic
arxiv.org··Lobsters

Take it to the limit one more time – a history of calculus 0

 ∞Gödel  Content type: Blog
thonyc.wordpress.com·

The Future Is Undecidable. Duty Is Not.

 ∞Gödel  Content type: Blog
dhanjit.me··Hacker News

Logicomix and 6 months at my new job

 ⊱Formal Logic  Content type: Blog
avocadoslaw.substack.com··Substack

Market Factors: Two Canadian stocks among top global ‘contenders’

 ∞Gödel
theglobeandmail.com
·

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