YTG123
ytg@sopuli.xyz
<p>he/him (they/them is fine too if you want)</p> <p>Also:</p> <ul> <li><a href="https://mastodon.social/@ytg" rel="nofollow">@ytg@mastodon.social</a></li> <li><a href="https://bookwyrm.social/user/ytg" rel="nofollow">@ytg@bookwyrm.social</a></li> </ul> <p>Formerly <a href="/u/ytg@feddit.ch" rel="nofollow">@ytg@feddit.ch</a></p>
Posts
-
View post
Indeed. The difference being that set theory is way more fundamental and abstract than most mathematicians ever need, so on the one hand it can be completely stated with only 8 or 9 axioms (and a system of first-order logic) but on the other hand it can take some ingenuity to encode a mathematical object as a set in a way that makes it easy to do stuff correctly and hard to mess up. Most type theories take a more intuitive approach, so they do resemble something, namely, functional programming...