Liste des Groupes | Revenir à s logic |
On 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:>On 8/16/2024 11:32 AM, Richard Damon wrote:>On 8/16/24 7:02 AM, olcott wrote:>>>
*This abolishes the notion 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.
But you clearly don't understand the meaning of "undecidability"
Not at all. I am doing the same sort thing that ZFC
did to conquer Russell's Paradox.
>
>
If you want to do that, you need to start at the basics are totally reformulate logic.
>
ZFC didn't need to do that. All they had to do is
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.
Les messages affichés proviennent d'usenet.