Liste des Groupes | Revenir à s logic |
On 8/18/2024 5:18 AM, Mikko wrote:The theory says that the universe of sets is infinite but doesOn 2024-08-16 20:39:11 +0000, olcott said:The key functional difference was the result of few changes
On 8/16/2024 2:42 PM, Richard Damon wrote:As the notion of set is the all what a set theory is about,On 8/16/24 2:11 PM, olcott wrote:ZFC didn't need to do that. All they had to do isOn 8/16/2024 11:32 AM, Richard Damon wrote:If you want to do that, you need to start at the basics are totally reformulate logic.On 8/16/24 7:02 AM, olcott wrote:Not at all. I am doing the same sort thing that ZFC*This abolishes the notion of undecidability*But you clearly don't understand the meaning of "undecidability"
As with all math and logic we have expressions of language
that are true on the basis of their meaning expressed
in this same language. Unless expression x has a connection
(through a sequence of true preserving operations) in system
F to its semantic meanings expressed in language L of F
x is simply untrue in F.
did to conquer Russell's Paradox.
redefine the notion of a set so that it was no longer
incoherent.
a redefinition of the notion of a set is means Zermelo started
from square one and built an entirely new formal system.
and everything else stayed the same. Besides defeating RP
what was another functional result?
Les messages affichés proviennent d'usenet.