Skip to content

Instantly share code, notes, and snippets.

@hugoferreira

hugoferreira/gist:3309826

Created August 10, 2012 00:57
Show Gist options
  • Save hugoferreira/3309826 to your computer and use it in GitHub Desktop.
Save hugoferreira/3309826 to your computer and use it in GitHub Desktop.
Download ZIP
Gambozino Proof
Raw
gistfile1.txt
(T1) = It is not true that if it always has been the case that a Gambozino-like being exists then a Gambozino-like being exists and it is always going to be the case that a Gambozino-like being exists in (n).
(T2) = It always has been the case that a Gambozino-like being existed in (n).
(T3) = It is not true that a Gambozino-like being exists and it is always going to exist in (n).
(T4) = A Gambozino-like being does not exist in (n)
(T4)' = It is not the case that a Gambozino-like being will always exist in (n).
(T5) = In sometime in the future it will be the case that a Gambozino-like being will not exist in (n).
(T6) = (n) occurred before (k).
(T7) = A Gambozino-like being does not exist in (k).
(T8) = (k) occurred before (n). (Reflexive Rule)
(T9) = A Gambozino-like being exists in (k).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment