High Signal Podcasts Evidence ledger
Method
Browse
How the evidence works

Public evidence record

Joel David Hamkins

Published podcast speaker

Claims
24
Episodes
1
Shows
1
Named items
0

Claim ledger

What Joel said.

2 transcript-backed records

01 / preference

I wasn’t happy with most of the other books that exist for those kind of courses, and the reason was that they were so often so dull because they would concentrate on these totally uninteresting parts of what it’s like to write a proof, these kind of mechanistic procedures about how to write a proof.

“I wasn’t happy with most of the other books that exist for those kind of courses, and the reason was that they were so often so dull because they would concentrate on these totally uninteresting parts of what it’s like to write a proof, these kind of mechanistic procedures about how to write a proof.”
Publisher
Lex Fridman Podcast

02 / preference

I mean, before we used this 3 to the C, 5 times 5 to the S, which is a kind of, you know, overly arithmetic way to think about it. But there’s a kind of direct, you know, way to understand that it’s still a countable infinity when you have countably many countable sets because you can just start putting them on this list.

“I mean, before we used this 3 to the C, 5 times 5 to the S, which is a kind of, you know, overly arithmetic way to think about it. But there’s a kind of direct, you know, way to understand that it’s still a countable infinity when you have countably many countable sets because you can just start putting them on this list.”
Publisher
Lex Fridman Podcast
Search evidence