I'm not sure why NOR is important to you
— fishfry
Because it's a sole sufficient operator. — Pfhorrest
But why make it a focus of interest? — fishfry
with as little as possible and then build everything up from there — Pfhorrest
All I really intended us to do was to dramatically state the conclusions of each step — Pfhorrest
rigorously prove every step of the process — Pfhorrest
I'm afraid I won't be of much help in developing the detailed aspects of your game. Russell and Whitehead began their Universe of Discourse with Set Theory as the foundation of Logic, but ended-up running into the impassible boundary (incompleteness theorem) of space-time limitations.To begin with, there is the empty set, and the empty set is without contents and void. — Pfhorrest
Russell and Whitehead began their Universe of Discourse with Set Theory as the foundation of Logic, but ended-up running into the impassible boundary (incompleteness theorem) of space-time limitations. — Gnomon
I wasn't referring to the Logicism of Analytic philosophy, but to the Greek notion that there is some absolute Truth, equivalent to Ideal Proportions, which can be expressed mathematically in ratios. I don't know how that might apply to your forum game, except to serve as an ideal goal, approachable but never attainable --- I.e. asymptotic to infinity. It's a barrier, but it also leaves a lot of room for experimentation.Logicism failed, but set theory is nevertheless the foundations of contemporary mathematics. That's not identical with logicism. — Pfhorrest
Logicism failed, but set theory is nevertheless the foundations of contemporary mathematics. — Pfhorrest
Get involved in philosophical discussions about knowledge, truth, language, consciousness, science, politics, religion, logic and mathematics, art, history, and lots more. No ads, no clutter, and very little agreement — just fascinating conversations.