joek1301 on Hacker News

I'm an undergraduate studying mathematics and computer science, and I've recently taken an interest in formal logic and the philosophy of mathematics. Previous courses have exposed me to beautiful ideas like Russell's paradox, Gödel's incompleteness theorem, and the Curry-Howard-Lambek correspondance.

I'm currently slogging through the final chapters of Hofstader's Gödel, Escher, Bach. What are some good next choices if I am interestred in diving deeper into the philosophy of mathematics?

Thanks!

3joek13013y ago2

joek1301

Recent submissions

Solving NYT Pips with SMT (opens in new tab)

When 'When' Went Wonky (opens in new tab)

Rain: Transiently Leaking Data from Public Clouds Using Old Vulnerabilities (opens in new tab)

A website anyone can update by calling in and describing their changes to an LLM (opens in new tab)

Netflix and Meta's Carbon Credits Snared in Dispute with Maasai Herders (opens in new tab)

Google Images search for “desk ornament” yields Nazi imagery (opens in new tab)

Ask HN: Introductory reading on philosophy of mathematics/formal logic?