Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > comp.theory > #136775

Re: Done with Olcott. --- Kaz cannot think outside the box

Cross-posted to 3 groups.

Show all headers | View raw

On 5/25/2021 11:56 AM, Kaz Kylheku wrote:
> In Message ID <I8ednT5676UOvjT9nZ2dnUU7-SPNnZ2d@giganews.com>, Peter
> Olcott admits that he's wrong according to "conventional analysis" and that
> discussing with him requires following some "unconventional"
> analysis.
> 
> PO: I understand where you are coming from. I am coming from somewhere else.
> PO: If you analyze what I am saying using conventional analysis then what I
> PO: am saying is incorrect.
> 
> "Conventional analysis" is the only vessel which lets us sail into every
> imaginable universe such that we can be sure of anything. Those
> universes are the only "somewhere elses" we need.
> 

*Kaz cannot think outside the box*

Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo 
and Abraham Fraenkel
https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory

Could think outside the box, otherwise Russell's Paradox
would still prove undecidability.

> In a pointless followup, ID <Ar-dnTUoNf4VOTf9nZ2dnUU7-T_NnZ2d@giganews.com>
> adds:
> 
> PO: The whole diagonalization thing is gibberish to me unless it only shows
> PO: that incorrect questions do not have correct answers.
> 
> There is no point in discussing halting (or anything else) with someone
> who thinks diagonalization is gibberish, and acknowledges that he's
> being incorrect according to "conventional analysis".
> 
> Even if it made sense to follow "unconventional analysis" it would have
> to be rigorously pinned down and subsequently adhered to. (I suspect,
> that very change would render it conventional, and therefore
> unpalatable).  As it stands, the "uncoventional analysis" consists of
> religious-like faith to some consistency doctrine, combined with the
> rhetorical strategy of insisting "I am right" using whatever bit of
> made-up nonsense that vaguely connects the intuition to the current
> conversation thread.
> 

Welcome to SWI-Prolog (threaded, 64 bits, version 7.6.4)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

% This sentence is not true.
?- LP = not(true(LP)).
LP = not(true(LP)).
?- unify_with_occurs_check(LP, not(true(LP))).
false.

% This sentence cannot be proven in F
?- G = not(provable(F, G)).
G = not(provable(F, G)).
?- unify_with_occurs_check(G, not(provable(F, G))).
false.

BEGIN:(Clocksin & Mellish 2003:254)
Finally, a note about how Prolog matching sometimes differs from the
unification used in Resolution. Most Prolog systems will allow you to
satisfy goals like:

equal(X, X).
?- equal(foo(Y), Y).

that is, they will allow you to match a term against an uninstantiated
subterm of itself. In this example, foo(Y) is matched against Y,
which appears within it. As a result, Y will stand for foo(Y), which is
foo(foo(Y)) (because of what Y stands for), which is foo(foo(foo(Y))),
and so on. So Y ends up standing for some kind of infinite structure.
END:(Clocksin & Mellish 2003:254)


-- 
Copyright 2025 Olcott

My 28 year goal has been to make
"true on the basis of meaning" computable.

This required establishing a new foundation
for correct reasoning.

Back to comp.theory | Previous | Next — Next in thread | Find similar | Unroll thread

Thread

Re: Done with Olcott. --- Kaz cannot think outside the box olcott <NoOne@NoWhere.com> - 2025-11-28 20:41 -0600
  Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 02:58 +0000
    Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-28 21:25 -0600
      Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 04:17 +0000
        Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-28 23:05 -0600
          Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 05:52 +0000
            Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-29 08:20 -0600
              Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 20:39 +0000
                Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-29 14:56 -0600
                Re: Done with Olcott. --- Kaz cannot think outside the box Richard Damon <Richard@Damon-Family.org> - 2025-11-29 16:34 -0500
                Re: Done with Olcott. --- Kaz cannot think outside the box dart200 <user7160@newsgrouper.org.invalid> - 2025-11-29 14:16 -0800
                Re: Done with Olcott. --- Kaz cannot think outside the box Richard Damon <Richard@Damon-Family.org> - 2025-11-29 20:05 -0500
                Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 21:53 +0000
                Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-29 16:01 -0600
                Re: Done with Olcott. --- Kaz cannot think outside the box Kaz Kylheku <046-301-5902@kylheku.com> - 2025-11-29 22:57 +0000
                Re: Done with Olcott. --- Kaz cannot think outside the box olcott <polcott333@gmail.com> - 2025-11-29 17:24 -0600
                Re: Done with Olcott. --- Kaz cannot think outside the box Richard Damon <Richard@Damon-Family.org> - 2025-11-29 20:08 -0500
                Re: Done with Olcott. --- Kaz cannot think outside the box Richard Damon <Richard@Damon-Family.org> - 2025-11-29 20:07 -0500

csiph-web