/sci/ - Science & Math

>>11564978
there's S. Worlfram ranting about his theory atm btw., if someone is bored

>>10836185
I actually thought about designing a blockchain where people mine for coins by commiting terms to dependent types that compile with them (i.e. the nodes would compile the commits and reward if it works out, i.e. if theorems are proven). Would however necessitate fixing one or more languages and probably there wouldn't be much of a usebase.

By restricting the comprehension scheme (the naive on by "state a property P and I collect all sets with that property into a set Y for you") with one that is restricted to subsets ("state a property P, give me a set X and I collect all sets FROM THAT SET X with that property into a set Y for you").

The above is a bit too restrictive and so another axiom is affed, replacement, that also allows for searching for parameters fulfilling a property and also guarantees that those are sets (you can think of it as "the image of a function that you can define on X also gives set Y")