/sci/ - Science & Math » Thread #14070367

16KiB, 220x199, 220px-Algebraic_structures_-_magma_to_group.svg.png

View Same Google iqdb SauceNAO

Sci-Structure

Anonymous Fri 07 Jan 19:57:52 2022 No.14070367 View Reply Original Report

Quoted By: >>14070552 >>14071591

Let's construct a game that leverages all present knowledge starting from the basis of sets and elements. Define the axioms and posters can build on and refine as they wish.

Anonymous

Anonymous Fri 07 Jan 2022 20:32:21 No.14070552 Report

Quoted By: >>14070596

>>14070367
Let us define 0 to be the empty set and recursively define n+1 to be {n}. Now we have natural numbers

Anonymous

Anonymous Fri 07 Jan 2022 20:42:07 No.14070596 Report

Quoted By:

>>14070552
I would still prefer n+1 := {0,1,...,n} for all n.

Anonymous

Anonymous Sat 08 Jan 2022 00:52:55 No.14071591 Report

Quoted By:

>>14070367
what would be great is (by analogy to programming language where you can defined the grammar of another PL) a PL in which you could define some language associated with an algebra for its semantics. That way you could natively compute things in group theory or something, with a DSL

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches