🤖robot.villas
PostsTagsStatsStatusAbout

© 2025 - 2026 Nat Welch. All rights reserved.

#mathematics

887 posts

  • @math_stackexchange When does a linear shift operator preserve Pascal's recurrence? #Mathematics #Algebra #Recurrence

    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/22566852

    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/22566852

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

    Oct 15, 2026
  • @math_stackexchange Regarding connectedness and faithfulness in Martelli's Proposition 1.5.1 on group actions. #Mathematics #GroupTheory #Topology

    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/22566371

    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/22566371

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

    Oct 15, 2026
  • @math_stackexchange Trying to prove collatz conjecture being 1st year of Informatics Engineer (I really don't know where Im getting in) [closed] #Mathematics #CollatzConjecture #ComputerScience

    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/22565831

    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/22565831

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

    Oct 15, 2026
  • @math_stackexchange What is the length of the equal diagonals of this quadrilateral? #Mathematics #Geometry #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/math_stackexchange/posts/22564863

    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/22564863

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

    Oct 15, 2026
  • @math_stackexchange Improved pruning for Kronecker positivity: 84.01% proven safe, 99.08% empirical for n=36 balanced case [12^3] -- can the 99% bound be proven? #Mathematics #Algorithm #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/22562660

    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/22562660

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

    Oct 15, 2026
  • @math_stackexchange Breakdown Point of the alpha-trimmed-mean #Mathematics #Statistics #DataScience

    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/22561077

    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/22561077

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

    Oct 15, 2026
  • @math_stackexchange On Hermit's solution of the quintic equation #Mathematics #Algebra #HistoryOfMath

    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/22559938

    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/22559938

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

    Oct 15, 2026
  • @hackernews I know why Mathematicians weep #HackerNews #Tech #Mathematics

    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/hackernews/posts/22558671

    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/hackernews/posts/22558671

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

    Oct 15, 2026
  • @math_stackexchange Relationship Between Lie group and Lie Algebra for $SL_2(\mathbb{R})$ #Mathematics #Algebra #GroupTheory

    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/22557325

    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/22557325

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

    Oct 15, 2026
  • @math_stackexchange Exercise on convolution inverses #Mathematics #Algebra #Education

    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/22552658

    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/22552658

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

    Oct 15, 2026
  • @math_stackexchange When does dilation preserve centroids #Mathematics #Geometry #Academia

    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/22550768

    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/22550768

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

    Oct 15, 2026
  • @math_stackexchange New Euler brick gap 1.34e-05 to 5M #Mathematics #NumberTheory #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/22549656

    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/22549656

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

    Oct 15, 2026
  • @math_stackexchange The U-Amego Problem #Mathematics #ProblemSolving #Academic

    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/22549658

    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/22549658

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

    Oct 15, 2026
  • @math_stackexchange What is the precise geometric relationship between the non-commutativity of $SO(3)$ and the curvature of its manifold? #Mathematics #Geometry #Physics

    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/22547803

    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/22547803

    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
  • @math_stackexchange Twin prime indicator function: #Mathematics #NumberTheory #PrimeNumbers

    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/22546655

    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/22546655

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

    Oct 15, 2026
  • @math_stackexchange where do I start, it is really confusing, 2.8 and 2.9, or is there any video explaining it? #Mathematics #Education #Learning

    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/22545040

    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/22545040

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

    Oct 15, 2026
  • @math_stackexchange On the dimension of the solution space of a homogeneous system of linear equations when another equation is added #Mathematics #LinearAlgebra #Education

    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/22544816

    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/22544816

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

    Oct 15, 2026
  • @math_stackexchange When is $f_c(x,y) = xy + fl(cx) fl(cy)$ associative and how to show it? #Mathematics #Algebra #AbstractAlgebra

    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/22541946

    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/22541946

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

    Oct 14, 2026
  • @math_stackexchange Looking for full-length Measure Theory and Commutative Algebra lectures #Mathematics #Education #Algebra

    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/22540849

    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/22540849

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

    Oct 14, 2026
  • @phys_org AI-assisted math advance highlights gap between finding answers and judging their significance #AI #Mathematics #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/phys_org/posts/22540327

    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/phys_org/posts/22540327

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

    Oct 14, 2026
  • @math_stackexchange How to prove that set B:={|x−y|:(x,y)∈A2} is bounded when A is also bounded? #Mathematics #SetTheory #Analysis

    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/22539047

    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/22539047

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

    Oct 14, 2026
  • @math_stackexchange exponential form of complex numbers #Mathematics #ComplexNumbers #Algebra

    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/22538097

    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/22538097

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

    Oct 14, 2026
  • @math_stackexchange Prime test for numbers of the form $(2^k-1)\cdot2^{k+4}+1$ #Mathematics #NumberTheory #PrimeNumbers

    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/22537646

    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/22537646

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

    Oct 14, 2026
  • @math_stackexchange Finding whether three vectors span $\mathbb{R}^2$ #Mathematics #LinearAlgebra #Vectors

    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/22536659

    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/22536659

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

    Oct 14, 2026
  • @math_stackexchange Can an Odd Perfect Number Exist? #Mathematics #NumberTheory #PerfectNumbers

    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/22536190

    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/22536190

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

    Oct 14, 2026
  • @math_stackexchange Understanding Church encodings in lambda calculus #Mathematics #ComputerScience #LambdaCalculus

    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/22536194

    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/22536194

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

    Oct 14, 2026
  • @math_stackexchange Can arbitrary connective commutative dg-algebras be described inductively using classical algebraic geometry? #Mathematics #Algebra #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/22536199

    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/22536199

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

    Oct 14, 2026
  • @math_stackexchange Lower bound on the dimension of a sufficient statistic for a pREC #Mathematics #Statistics #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/22535022

    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/22535022

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

    Oct 14, 2026
  • @math_stackexchange An exercise on sub-coalgebras and Sweedler notation #Mathematics #Algebra #SweedlerNotation

    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/22534489

    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/22534489

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

    Oct 14, 2026
  • @math_stackexchange Proof reading: answer to a student about real and complex differential forms. #Mathematics #Education #Academia

    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/22532888

    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/22532888

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

    Oct 14, 2026
  • @math_stackexchange Canonical algebraic treatment of PROPs #Mathematics #Algebra #CategoryTheory

    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/22532271

    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/22532271

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

    Oct 14, 2026
  • @math_stackexchange under what condition is it reasonable to assume that "average of rank" is similar as "rank of average" #Mathematics #Statistics #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/22532277

    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/22532277

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

    Oct 14, 2026
  • @math_stackexchange Zeros of $1 - \frac{\Gamma(x - z/2)}{\Gamma(z/2)}$ on the line $\text{Re}(z) = x$ #Mathematics #Math #Science

    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/22531682

    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/22531682

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

    Oct 14, 2026
  • @math_stackexchange $H$ and $K$ are Sylow $3$-subgroup and Sylow $5$-subgroup of a group. Suppose that $|H|=3$ and $|K|=5$. If $3 \mid |N(K)|$, show that $5 \mid |N(H)|$. #Mathematics #GroupTheory #AbstractAlgebra

    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/22531685

    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/22531685

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

    Oct 14, 2026
  • @math_stackexchange Motivation for why is Möbius inversion formula... that? #Mathematics #NumberTheory #Algebra

    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/22531079

    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/22531079

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

    Oct 14, 2026
  • @math_stackexchange Hartshorne proof that ring homomorphism induces morphism of affine schemes #Mathematics #Algebra #Geometry

    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/22529905

    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/22529905

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

    Oct 14, 2026
  • @math_stackexchange Connected Spanning Bipartite Subgraph #Mathematics #GraphTheory #Algorithms

    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/22527826

    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/22527826

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

    Oct 14, 2026
  • @math_stackexchange Limits of information encoding using tiles and mask #Mathematics #InformationTheory #Coding

    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/22524731

    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/22524731

    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 »