Q: Formal deductive system (Sets) vs Formal constructive system(operations)?
Q: Are deductive or constructive systems justificationary, falsificationary, both, or neither?
Source date (UTC): 2021-12-14 14:34:06 UTC
Original post: https://twitter.com/i/web/status/1470764036098871299
Reply addressees: @amor_fati_ke
Replying to: https://twitter.com/i/web/status/1449994697150193667
Leave a Reply