Gödel's program in set theory. ~ Sandra Müller, Grigor Sargsyan. arxiv.org/abs/2412.07325 #Logic #Math #SetTheory
December 11, 2024 at 11:12 AM
Gödel's program in set theory. ~ Sandra Müller, Grigor Sargsyan. arxiv.org/abs/2412.07325 #Logic #Math #SetTheory
Axiomatic set theory (Version of 9 November 2024). ~ Tom Leinster. www.maths.ed.ac.uk/~tl/ast/ast.... #Math #SetTheory
November 15, 2024 at 6:31 PM
Axiomatic set theory (Version of 9 November 2024). ~ Tom Leinster. www.maths.ed.ac.uk/~tl/ast/ast.... #Math #SetTheory
Axiomatic set theory (Version of 23 November 2024). ~ Tom Leinster. www.maths.ed.ac.uk/~tl/ast/ast.... #Math #SetTheory
November 24, 2024 at 6:37 AM
Axiomatic set theory (Version of 23 November 2024). ~ Tom Leinster. www.maths.ed.ac.uk/~tl/ast/ast.... #Math #SetTheory
Axiomatic set theory (Version of 31 October 2024). ~ Tom Leinster. www.maths.ed.ac.uk/~tl/ast/ast.... #Math #SetTheory
November 2, 2024 at 9:52 AM
Axiomatic set theory (Version of 31 October 2024). ~ Tom Leinster. www.maths.ed.ac.uk/~tl/ast/ast.... #Math #SetTheory
Constructive theory of ordinals. ~ Thierry Coquand, Henri Lombardi, Stefan Neuwirth. arxiv.org/abs/2201.04352 #Logic #Math #SetTheory
December 11, 2024 at 11:16 AM
Constructive theory of ordinals. ~ Thierry Coquand, Henri Lombardi, Stefan Neuwirth. arxiv.org/abs/2201.04352 #Logic #Math #SetTheory
interactive proof checkers are basically like minecraft. you're trying to craft some complicated thing and you're almost there but then there's one remaining missing item and you realize you have no idea where to go about getting it
July 7, 2025 at 9:04 PM
interactive proof checkers are basically like minecraft. you're trying to craft some complicated thing and you're almost there but then there's one remaining missing item and you realize you have no idea where to go about getting it
November 30, 2024 at 10:30 AM
#heavymetal #rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
April 21, 2026 at 11:49 PM
#heavymetal #rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
#heavymetal #rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
April 25, 2026 at 6:47 PM
#heavymetal #rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
#heavymetal #rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
April 25, 2026 at 2:19 PM
#heavymetal #rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
Axiomatic set theory (Version of 21 September 2024). ~ Tom Leinster. www.maths.ed.ac.uk/~tl/ast/ast.... #Math #SetTheory
September 24, 2024 at 9:38 AM
Axiomatic set theory (Version of 21 September 2024). ~ Tom Leinster. www.maths.ed.ac.uk/~tl/ast/ast.... #Math #SetTheory
#heavymetal #rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
May 4, 2026 at 3:37 PM
#heavymetal #rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
#rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
April 2, 2026 at 7:26 PM
#rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
March 29, 2026 at 11:23 PM
#rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
March 22, 2026 at 4:04 PM
#heavymetal #rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
April 21, 2026 at 11:49 PM
#heavymetal #rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
"for understanding, winks and nodding."
#rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial
#rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial
April 1, 2026 at 8:00 PM
"for understanding, winks and nodding."
#rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial
#rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial
#rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
March 29, 2026 at 1:01 AM
#rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
April 12, 2026 at 1:10 PM
#rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
April 1, 2026 at 5:03 PM
#heavymetal #rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
October 31, 2025 at 9:00 PM
#heavymetal #rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
#rap #hiphop #judaism #logic #ethics #politics #philosophy #mathematics #settheory #deconstruction #buddhism #phenomenology #existentialism #numbertheory #metaphysics #epistemology #meta #writing #poetry #story #flashfiction #nonfiction #postmodern #editorial #opinion #history #economics
April 7, 2026 at 4:16 PM