🤖robot.villas
PostsTagsStatsStatusAbout

© 2025 - 2026 Nat Welch. All rights reserved.

#logic

281 posts

  • @puzzling_stackexchange Peeling back the layers #Puzzles #Logic #Riddles

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22651488

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22651488

    Don't have an account? Find a server at joinmastodon.org

    Oct 19, 2026
  • @habr_ru 67 логических ошибок #Logic #Communication #CriticalThinking

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/habr_ru/posts/22645067

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/habr_ru/posts/22645067

    Don't have an account? Find a server at joinmastodon.org

    Oct 18, 2026
  • @dev_community Why AND(0, ?) is 0: three values, snapshots and memory in a logic simulator #Logic #ComputerScience #WebDev

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/dev_community/posts/22644870

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/dev_community/posts/22644870

    Don't have an account? Find a server at joinmastodon.org

    Oct 18, 2026
  • @puzzling_stackexchange Depends How You See It #Puzzles #Logic #Riddles

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22641182

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22641182

    Don't have an account? Find a server at joinmastodon.org

    Oct 18, 2026
  • @math_stackexchange Axiomatizability of the class of relations whose relation classes form a partition. #Mathematics #Logic #Axioms

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22639263

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22639263

    Don't have an account? Find a server at joinmastodon.org

    Oct 18, 2026
  • @stack_exchange_hot_questions Maximum number of isolated cells on the 8x8 grid - puzzling.stackexchange.com #Puzzles #Math #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22647607

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22647607

    Don't have an account? Find a server at joinmastodon.org

    Oct 18, 2026
  • @stack_exchange_hot_questions Maximal number of isolated cells on the 8x8 grid - puzzling.stackexchange.com #Puzzles #Math #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22643655

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22643655

    Don't have an account? Find a server at joinmastodon.org

    Oct 18, 2026
  • @puzzling_stackexchange Maximal number of isolated cells on the 8x8 grid #Puzzles #Logic #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22634740

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22634740

    Don't have an account? Find a server at joinmastodon.org

    Oct 18, 2026
  • @math_stackexchange In classical propositional logic how is Mendelson's 3rd axiom derived from Lukasiewicz's axioms? #Logic #Mathematics #Axioms

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22633945

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22633945

    Don't have an account? Find a server at joinmastodon.org

    Oct 18, 2026
  • @stack_exchange_hot_questions n people stand in a circle - puzzling.stackexchange.com #Puzzles #Math #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22643033

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22643033

    Don't have an account? Find a server at joinmastodon.org

    Oct 18, 2026
  • @puzzling_stackexchange $n$ people stand in a circle #Logic #Math #Puzzles

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22634168

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22634168

    Don't have an account? Find a server at joinmastodon.org

    Oct 18, 2026
  • @dev_community Here's why I think this polynomial time SAT solver concept is correct #ComputerScience #Algorithms #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/dev_community/posts/22633351

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/dev_community/posts/22633351

    Don't have an account? Find a server at joinmastodon.org

    Oct 18, 2026
  • @math_stackexchange Is Banach-Tarski Independent of ZF with choice being false [duplicate] #Mathematics #Logic #Axioms

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22630293

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22630293

    Don't have an account? Find a server at joinmastodon.org

    Oct 18, 2026
  • @stack_exchange_hot_questions Cutting your birthday cake - puzzling.stackexchange.com #Puzzles #Math #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22633262

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22633262

    Don't have an account? Find a server at joinmastodon.org

    Oct 18, 2026
  • @puzzling_stackexchange Cutting your birthday cake #Puzzles #Logic #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22626644

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22626644

    Don't have an account? Find a server at joinmastodon.org

    Oct 18, 2026
  • @math_stackexchange Proof by contradiction and logical value #Mathematics #Logic #Proof

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22619746

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22619746

    Don't have an account? Find a server at joinmastodon.org

    Oct 17, 2026
  • @stack_exchange_hot_questions A pentomino tiling puzzle with digits - puzzling.stackexchange.com #Puzzles #Math #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22623988

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22623988

    Don't have an account? Find a server at joinmastodon.org

    Oct 17, 2026
  • @puzzling_stackexchange A pentomino tiling puzzle with digits #Puzzles #Logic #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22615953

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22615953

    Don't have an account? Find a server at joinmastodon.org

    Oct 17, 2026
  • @puzzling_stackexchange The Prime Factorization Challenge #Puzzles #Logic #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22613940

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22613940

    Don't have an account? Find a server at joinmastodon.org

    Oct 17, 2026
  • @stack_exchange_hot_questions Is the classification of finite simple groups provable without the axiom of choice? - mathoverflow.net #Math #Logic #Axioms

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22667545

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22667545

    Don't have an account? Find a server at joinmastodon.org

    Oct 16, 2026
  • @stack_exchange_hot_questions Is the classification of finite simple groups independent of the axiom of choice? - mathoverflow.net #Math #Science #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22605047

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22605047

    Don't have an account? Find a server at joinmastodon.org

    Oct 16, 2026
  • @dev_community Why UPI Fraud Is a Temporal Logic Problem (and How PLCs Solved It 50 Years Ago) #Tech #Security #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/dev_community/posts/22594677

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/dev_community/posts/22594677

    Don't have an account? Find a server at joinmastodon.org

    Oct 16, 2026
  • @math_stackexchange Relations between formulas and their expressions in $P$. #Mathematics #Formulas #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22590372

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22590372

    Don't have an account? Find a server at joinmastodon.org

    Oct 16, 2026
  • @stack_exchange_hot_questions Does physicalism make debates about rationality, morality, and probability confused? - philosophy.stackexchange.com #Philosophy #Science #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22597466

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22597466

    Don't have an account? Find a server at joinmastodon.org

    Oct 16, 2026
  • @puzzling_stackexchange Cryptography puzzle in image #Puzzles #Cryptography #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22580262

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22580262

    Don't have an account? Find a server at joinmastodon.org

    Oct 16, 2026
  • @stack_exchange_hot_questions Ten cities and twelve paths - puzzling.stackexchange.com #Puzzles #Logic #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22586540

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22586540

    Don't have an account? Find a server at joinmastodon.org

    Oct 16, 2026
  • @puzzling_stackexchange Ten cities and twelve paths #Puzzles #Logic #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22577849

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22577849

    Don't have an account? Find a server at joinmastodon.org

    Oct 16, 2026
  • @stack_exchange_hot_questions Eight cities and twelve paths - puzzling.stackexchange.com #Puzzles #Logic #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22586105

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22586105

    Don't have an account? Find a server at joinmastodon.org

    Oct 16, 2026
  • @puzzling_stackexchange Eight cities and twelve paths #Puzzles #Logic #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22577360

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22577360

    Don't have an account? Find a server at joinmastodon.org

    Oct 16, 2026
  • @puzzling_stackexchange Poisoned Bottle Detection #Puzzles #Logic #ProblemSolving

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22573362

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22573362

    Don't have an account? Find a server at joinmastodon.org

    Oct 15, 2026
  • @lesswrong You Should Specify Your Code Unambiguously (and Prove That You Did) #SoftwareEngineering #AI #Logic

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lesswrong/posts/22570153

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/lesswrong/posts/22570153

    Don't have an account? Find a server at joinmastodon.org

    Oct 15, 2026
  • @puzzling_stackexchange Disjoint Pairs Puzzle #Puzzles #Logic #BrainTeaser

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22565215

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22565215

    Don't have an account? Find a server at joinmastodon.org

    Oct 15, 2026
  • @puzzling_stackexchange A Fiery Connection #Puzzles #Logic #Riddles

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22550424

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22550424

    Don't have an account? Find a server at joinmastodon.org

    Oct 15, 2026
  • @puzzling_stackexchange Shady gambling at the casino #Puzzles #Logic #Math

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22549372

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22549372

    Don't have an account? Find a server at joinmastodon.org

    Oct 15, 2026
  • @math_stackexchange Regarding Gödel's Proposition XI. #Mathematics #Logic #Research

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22547371

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22547371

    Don't have an account? Find a server at joinmastodon.org

    Oct 15, 2026
  • @stack_exchange_hot_questions Four Cars at an Intersection (a beginner-friendly puzzle) - puzzling.stackexchange.com #Puzzle #Logic #BrainTeaser

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22549376

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/stack_exchange_hot_questions/posts/22549376

    Don't have an account? Find a server at joinmastodon.org

    Oct 14, 2026
  • @puzzling_stackexchange Four Cars at an Intersection (a beginner-friendly puzzle) #Puzzles #Logic #BrainTeaser

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22541830

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22541830

    Don't have an account? Find a server at joinmastodon.org

    Oct 14, 2026
  • @puzzling_stackexchange Position after White's eighth move - how did the game go? #Puzzles #Logic #Games

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22538458

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22538458

    Don't have an account? Find a server at joinmastodon.org

    Oct 14, 2026
  • @puzzling_stackexchange Words, words, words... #Puzzles #Logic #Riddles

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22531476

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/puzzling_stackexchange/posts/22531476

    Don't have an account? Find a server at joinmastodon.org

    Oct 14, 2026
  • @math_stackexchange А note on non-finite axiomatizability of realizable systems in "Axioms and Hulls" by D. Knuth #Mathematics #Logic #Axioms

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22524742

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/math_stackexchange/posts/22524742

    Don't have an account? Find a server at joinmastodon.org

    Oct 14, 2026
« NewerOlder »