♦ Logic
Bookmarked conversations in this room
Impredicativity Problems
Mar 25, 2022 at 14:40, 3 days total – 24 messages, 1 user, 0 stars
Bookmarked Jul 4, 2022 at 12:27 by user21820
Incompleteness and the ω-rule
Jan 30, 2021 at 14:58, 1 hour 26 minutes total – 28 messages, 2 users, 0 stars
Bookmarked Jan 30, 2021 at 17:03 by user21820
Rigorous 1-page proof of the fixed-point lemma from the representability theorem
Nov 22, 2020 at 13:58, 5 hours 57 minutes total – 19 messages, 1 user, 1 star
Bookmarked Nov 23, 2020 at 14:38 by user21820
Interesting Discussion (II)
Apr 15, 2019 at 18:37, 18 hours 48 minutes total – 109 messages, 3 users, 0 stars
Bookmarked Apr 16, 2019 at 15:52
Interesting Discussion (I)
Apr 13, 2019 at 2:30, 2 hours 56 minutes total – 78 messages, 2 users, 0 stars
Bookmarked Apr 13, 2019 at 5:28
Beklemishev's worms
Dec 30, 2018 at 17:08, 1 day 22 hours total – 94 messages, 4 users, 0 stars
Bookmarked Dec 18, 2021 at 19:26 by user21820
Soundness (user21820, Noah Schweber, Andres Caicedo, Carl Mummert)
Nov 27, 2018 at 17:59, 1 hour 37 minutes total – 63 messages, 5 users, 0 stars
Bookmarked Apr 30, 2022 at 12:27 by user21820
On truth
Oct 26, 2018 at 13:24, 1 day 21 hours total – 49 messages, 6 users, 0 stars
Bookmarked Oct 28, 2018 at 14:38
Logical analysis of the chain-rule
Oct 18, 2018 at 8:34, 58 minutes total – 42 messages, 3 users, 0 stars
Bookmarked Oct 21, 2018 at 11:33 by user21820
Veblen Ordinals (Part 1)
Sep 29, 2018 at 8:45, 2 hours 2 minutes total – 152 messages, 3 users, 0 stars
Bookmarked Oct 1, 2018 at 5:30 by user21820
Induction & Strong Induction (Part 1)
Mar 24, 2018 at 11:26, 5 hours 23 minutes total – 104 messages, 4 users, 1 star
Bookmarked Mar 26, 2018 at 3:02 by user21820
The $\omega_1$ discussion 2: Necessity of Borel algebra in defining probability theory and stochastic processes
Feb 3, 2018 at 4:56, 3 hours 14 minutes total – 77 messages, 3 users, 1 star
Bookmarked Feb 3, 2018 at 8:39 by Secret
Leaky's breakdown when studying logic
Jan 27, 2018 at 2:38, 1 hour 24 minutes total – 158 messages, 2 users, 0 stars
Bookmarked Jan 28, 2018 at 10:12 by Leaky Nun
A small chat on logic with user21820
Jan 13, 2018 at 5:29, 6 hours 3 minutes total – 69 messages, 4 users, 0 stars
Bookmarked Dec 11, 2019 at 10:18
Fitch-style first-order logic & Examples
Jan 5, 2018 at 14:05, 1 hour 22 minutes total – 143 messages, 3 users, 0 stars
Bookmarked Jan 27, 2018 at 3:12 by user21820
Fitch-style propositional logic & Examples
Dec 19, 2017 at 12:56, 4 minutes total – 7 messages, 1 user, 0 stars
Bookmarked Jan 2, 2018 at 14:12 by user21820
Sketch of semantic-completeness theorem for propositional logic
Dec 18, 2017 at 13:27, 1 hour 51 minutes total – 154 messages, 2 users, 0 stars
Bookmarked Dec 19, 2017 at 13:07 by user21820
Undecidability of program behavioural properties
Dec 17, 2017 at 16:09, 33 minutes total – 73 messages, 3 users, 0 stars
Bookmarked Dec 20, 2017 at 17:29 by user21820
General Undecidability Theorem
Dec 17, 2017 at 16:09, 42 minutes total – 84 messages, 3 users, 0 stars
Bookmarked Feb 14, 2018 at 12:29 by user21820
Fitch style logic - session#1.2
Dec 14, 2017 at 14:08, 1 hour 57 minutes total – 222 messages, 3 users, 0 stars
Bookmarked Dec 14, 2017 at 17:47 by LastIronStar
Fitch style logic - session#1.1
Dec 14, 2017 at 12:07, 1 hour 19 minutes total – 197 messages, 4 users, 0 stars
Bookmarked Dec 14, 2017 at 17:45 by LastIronStar
D(II)
Dec 8, 2017 at 14:53, 9 minutes total – 20 messages, 3 users, 0 stars
Bookmarked Dec 18, 2017 at 16:31
Surprise text paradox resolution
Oct 30, 2017 at 15:06, 1 hour 39 minutes total – 149 messages, 3 users, 0 stars
Bookmarked Oct 30, 2017 at 16:52 by Secret
Discussion (IV)
Oct 29, 2017 at 4:08, 10 hours 22 minutes total – 38 messages, 3 users, 0 stars
Bookmarked Oct 30, 2017 at 3:40
Discussion (III)
Oct 28, 2017 at 16:51, 27 minutes total – 27 messages, 3 users, 0 stars
Bookmarked Oct 30, 2017 at 3:40
Discussion (II)
Oct 28, 2017 at 14:31, 1 hour 28 minutes total – 50 messages, 2 users, 0 stars
Bookmarked Oct 30, 2017 at 3:39
Discussion (I)
Oct 28, 2017 at 5:09, 19 minutes total – 28 messages, 2 users, 0 stars
Bookmarked Oct 30, 2017 at 3:37
Conversation between user170039 and shredalert (I)
Oct 25, 2017 at 14:01, 1 hour 46 minutes total – 37 messages, 3 users, 0 stars
Bookmarked Oct 25, 2017 at 15:52
Godel/Rosser's Incompleteness Theorem from a computability perspective
Oct 22, 2017 at 11:02, 3 hours 33 minutes total – 309 messages, 9 users, 2 stars
Bookmarked Oct 23, 2017 at 13:09 by user21820
Incompleteness Theorems
Oct 9, 2017 at 14:13, 1 hour 53 minutes total – 10 messages, 2 users, 0 stars
Bookmarked Jul 19, 2018 at 14:11
People who do not understand the incompleteness theorem
Oct 9, 2017 at 14:04, 3 hours 5 minutes total – 36 messages, 2 users, 0 stars
Bookmarked Dec 19, 2017 at 3:50 by user21820
PA+¬Con(PA)
Sep 28, 2017 at 4:14, 25 minutes total – 36 messages, 2 users, 0 stars
Bookmarked Oct 2, 2017 at 1:56 by user400188
Wittgenstein (II)
Sep 6, 2017 at 6:17, 11 minutes total – 14 messages, 2 users, 0 stars
Bookmarked Dec 19, 2017 at 4:22
D(I)
Sep 6, 2017 at 5:02, 1 hour 26 minutes total – 22 messages, 2 users, 0 stars
Bookmarked Dec 18, 2017 at 16:30
Wittgenstein
Sep 5, 2017 at 15:39, 14 hours 16 minutes total – 30 messages, 3 users, 0 stars
Bookmarked Dec 19, 2017 at 3:38
intresting groups
Aug 11, 2017 at 13:55, 2 days total – 3 messages, 3 users, 0 stars
Bookmarked Aug 21, 2017 at 15:00 by Turkhan Badalov
Discussion between user170039 and user21820 (I)
Jun 9, 2017 at 8:49, 41 minutes total – 44 messages, 3 users, 0 stars
Bookmarked Sep 8, 2017 at 4:43
About 1 = 0.999...
Jun 9, 2017 at 7:21, 2 hours 9 minutes total – 55 messages, 3 users, 0 stars
Bookmarked Sep 8, 2017 at 5:20 by user21820