RSS

AxiomWriter

Karma: 3

mathematican

main interest: building axiom sytems

especially building mathematically equivalent systems out of different definitions and axioms

www.relationalgeometry.de

The power of finite and the weak­ness of in­finite bi­nary point numbers

AxiomWriterApr 20, 2024, 6:03 AM
−3 points
6 comments2 min readLW link

the un­der­es­ti­ma­tion of cir­cu­lar thinking

AxiomWriterMar 30, 2024, 9:45 AM
1 point
0 comments2 min readLW link

A di­a­log with the ax­iom of choice

AxiomWriterMar 30, 2024, 7:47 AM
−2 points
0 comments6 min readLW link

[Question] Is there a pos­si­bil­ity to ac­ti­vate an en­glish spel­lchecker for the drafts?

AxiomWriterMar 22, 2024, 6:03 PM
1 point
0 comments1 min readLW link

A defi­ni­tion that counts (new­bie, try­ing to find my place and my voice, no na­tive en­glish speaker)

AxiomWriterMar 22, 2024, 6:03 PM
0 points
0 comments1 min readLW link