Deutsch English Français Italiano |
<v03866$bitp$1@dont-email.me> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: olcott <polcott333@gmail.com> Newsgroups: sci.logic,comp.theory Subject: Re: Undecidability based on epistemological antinomies V2 --Mendelson-- Date: Sun, 21 Apr 2024 09:34:44 -0500 Organization: A noiseless patient Spider Lines: 39 Message-ID: <v03866$bitp$1@dont-email.me> References: <uvq0sg$21m7a$1@dont-email.me> <uvq359$1doq3$4@i2pn2.org> <uvrbvs$2acf7$1@dont-email.me> <uvs70t$1h01f$1@i2pn2.org> <uvsgcl$2i80k$1@dont-email.me> <uvsj4v$1h01e$1@i2pn2.org> <uvsknc$2mq5c$1@dont-email.me> <uvvrj6$3i152$1@dont-email.me> <v00r07$3oqra$1@dont-email.me> <v02ggt$6org$1@dont-email.me> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 21 Apr 2024 16:34:46 +0200 (CEST) Injection-Info: dont-email.me; posting-host="dabbc650cf29c1e38ec893c3911f228a"; logging-data="379833"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX18g+rBtPNMU1S0k0e/4r+/+" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:kxeFroAbxgHR74ZEjKWfndALYqU= In-Reply-To: <v02ggt$6org$1@dont-email.me> Content-Language: en-US Bytes: 2831 On 4/21/2024 2:50 AM, Mikko wrote: > On 2024-04-20 16:37:27 +0000, olcott said: > >> On 4/20/2024 2:41 AM, Mikko wrote: >>> On 2024-04-19 02:25:48 +0000, olcott said: >>> >>>> On 4/18/2024 8:58 PM, Richard Damon wrote: >>> >>>>> Godel's proof you are quoting from had NOTHING to do with >>>>> undecidability, >>>> >>>> *Mendelson (and everyone that knows these things) disagrees* >>>> >>>> https://sistemas.fciencias.unam.mx/~lokylog/images/Notas/la_aldea_de_la_logica/Libros_notas_varios/L_02_MENDELSON,%20E%20-%20Introduction%20to%20Mathematical%20Logic,%206th%20Ed%20-%20CRC%20Press%20(2015).pdf >>> >>> On questions whether Gödel said something or not the sumpreme authority >>> is not Mendelson but Gödel. >>> >> >> When some authors affirm that undecidability and incompleteness >> are the exact same thing then whenever Gödel uses the term >> incompleteness then he is also referring to the term undecidability. > > That does not follow. Besides, a reference to the term "undecidability" > is not a reference to the concept 'undecidability'. > In other words you deny the identity principle thus X=X is false. An undecidable sentence of a theory K is a closed wf ℬ of K such that neither ℬ nor ¬ℬ is a theorem of K, that is, such that not-⊢K ℬ and not-⊢K ¬ℬ. (Mendelson: 2015:208) Incomplete(F) ≡ ∃x ∈ L ((L ⊬ x) ∧ (L ⊬ ¬x)) -- Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius hits a target no one else can see." Arthur Schopenhauer