Discussion:
Universal Truth Predicates eliminating Incompleteness and Inconsistency from formal systems
(too old to reply)
peteolcott
2019-04-02 04:19:55 UTC
Permalink
(1) ∀F∀x (True(F, x) ↔ (F ⊢ x))
(2) ∀F∀x (False(F, x) ↔ (F ⊢ ~x))
(3) ∀F∀x (~True(F, x) ↔ ~(F ⊢ x))
--
Copyright 2019 Pete Olcott All rights reserved

"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein
peteolcott
2019-04-02 05:52:08 UTC
Permalink
(1) ∀F∀x (True(F, x)  ↔ (F ⊢ x))
(2) ∀F∀x (False(F, x) ↔ (F ⊢ ~x))
(3) ∀F∀x (~True(F, x) ↔ ~(F ⊢ x))
This is the same model of truth that Prolog has.
--
Copyright 2019 Pete Olcott All rights reserved

"Great spirits have always encountered violent
opposition from mediocre minds." Albert Einstein
Loading...