http://blog.unijimpe.net/rss https://www.bubok.es/ Puedes comprar en nuestra librería todos los libros publicados en Bubok. es info@bubok.com (Bubok Publishing) info@bubok.com (Bubok Publishing) https://www.bubok.es/libros/251145/a-proof-of-syntactic-incompleteness-of-the-second-order-categorical-arithmeticActually, Arithmetic is considered as syntactically incomplete. How-ever, there are different types of arithmetical theories. One of the mostimportant is the second-order Categorical Arithmetic (AR), which inter-prets the principle of induction with the so-called full semantics. Now,who ever concluded that AR is sintactically (or semantically, since cate-goricity implies equivalence of the two types of completeness) incompleteSince this theory is not effectively axiomatizable, the incompleteness The-orems cannot be applied to it. Nor is it legitimate to assert that the un-decidability of the statements is generally kept in passing from a certaintheory (such as PA) to another that includes it (such as AR). Of course,although the language of AR is semantically incomplete, this does notimply that the same AR is semantically/sintactically incomplete.Pending a response to the previous question, this paper aims to presenta proof of the syntactic/semantical incompleteness of AR, by examplesbased on the different modes of representation (i.e. codes) of the naturalnumbers in computation.https://www.bubok.es/libros/246653/grazie-giulioDovevo questo scritto a Giulio Regeni. Grazie al suo sacrificio, mi sento piů orgoglioso di essere italiano, piů conscio dei miei diritti e dei principi che reggono uno Stato democratico. La storia é immaginata a partire dalle notizie dei giornali italiani come unica fonte. La considero verosimile, per quanto improbabile (da un punto di vista puramente statistico). I nomi, tranne quelli di Regeni e Mubarak, sono inventati. Lo dedico a tutti quelli che credono negli ideali di giustizia ed eguaglianza, siano essi italiani, egiziani o di qualsiasi altra nazionalit.https://www.bubok.es/libros/240718/on-a-godels-misjudgmentThe fundamental aim of the paper is to correct an harmful way to interpreta Gödel's erroneous remark at the Congress of Königsberg in 1930.Despite the Gödel's fault is rather venial, its misreading has produced andcontinues to produce dangerous fruits, as to apply the incompletenessTheorems to the full second-order Arithmetic and to deduce the semanticincompleteness of its language by these same Theorems. The first threeparagraphs are introductory and serve to define the languages inherentlysemantic and its properties, to discuss the consequences of the expressionorder used in a language and some question about the semantic completeness:in particular is highlighted the fact that a non-formal theory may besemantically complete despite using a language semantically incomplete.Finally, an alternative interpretation of the Gödel's unfortunate commentis proposed.https://www.bubok.es/libros/239499/su-un-errore-di-godelSommarioLo scopo fondamentale dell'articolo č correggere un grave errore di interpretazionedi un inesatto commento di Gödel al congresso di Königsbergdel 1930. Malgrado la scorrettezza di Gödel sia assolutamente veniale, lasua erronea lettura ha prodotto e continua a produrre frutti nefasti, comel'applicabilit dei Teoremi d'incompletezza all'Aritmetica del secondoordine full e la deducibilit, mediante essi, dell'incompletezza semanticadi questo linguaggio. I primi tre paragrafi servono da introduzione e sene approfitta sia per definire i linguaggi intrinsecamente semantici sia perevidenziare il fatto che una Teoria non formale puň essere semanticamentecompleta pur impiegando un linguaggio semanticamente incompleto. Infinesi propone un'interpretazione alternativa per l'infelice osservazione diGödel.AbstractThe fundamental aim of the paper is to correct a harmfulway to interpretate a Gödel's erroneous remark in the Congressof Königsberg in 1930. Despite the Gödel's fault is rathervenial, its misreading has produced and continues to producedangerous fruits, as to apply the incompleteness theorems to thesecond order full arithmetic and to deduce the semantic incompletenessof this language by these same theorems. The firstthree paragraphs are introductory and serve to define the languagesinherently semantic and its properties, first and secondorder languages and the question of semantic completeness: inparticular is highlighted the fact that a not formal theory maybe semantically complete despite using a language semanticallyincomplete. Finally an alternative interpretation of the Gödel'sunfortunate statement is proposed.https://www.bubok.es/libros/231097/chessjoker-scacchi-con-giullareSi propone una nuova variante scacchistica, chiamata Chessjoker. Alloschieramento tradizionale vengono aggiunti due Giullari, uno per giocatore,che si muovono imitando l�ultima mossa dell�avversario (un�idea giproposta da T. R. Dawson). Ne deriva un gioco che, pur favorendo la fantasiae introducendo un�interessante complessit retroattiva, non sconvolgei canoni nč azzera l�esperienza del gioco tradizionale. Dopo aver definitole tre nuove regole che caratterizzano il nuovo gioco, vengono analizzatele peculiarit piů eclatanti e stimolanti di Chessjoker. Infine, si riassumonole regole con un quadro che include le piů importanti precisazioniridondanti.https://www.bubok.es/libros/228057/e-se-non-lavessi-puntataDialogo onirico con protagonisti della Logica (nuova edizione 2014)https://www.bubok.es/libros/224474/la-herencia-de-godel-revisitando-la-logicaSe exponen algunas equivocaciones sobre temas fundamentales de Lógicafrecuentemente difundidas: la interpretación de los dos Teoremas deincompletitud, algunos desaciertos de Chaitin y la clasificación corrientede los Sistemas axiomáticos según el orden expresivo del lenguaje.Some common fallacies about fundamental themes of Logic are exposed:the First and Second incompleteness Theorem interpretations,Chaitin�s various superficialities and the usual classification of the axiomaticTheories en function of its language order.PALABRAS CLAVE: Incompletitud, indecidibilidad, completitud semántica,casualidad, categoricidad, constante de Chaitin, lenguajes del segundoorden, consistencia.KEYWORDS: Incompleteness, undecidability, semantic completeness, categoricity,randomness, Chaitin�s constant, first and second order languages,consistency.https://www.bubok.es/libros/224463/leredita-di-godel-rivisitando-la-logicaSi evidenziano alcuni diffusi equivoci su argomenti fondamentali diLogica: l�interpretazione dei due Teoremi d�incompletezza, diverse leggerezzedi Chaitin e l�usuale classificazione dei Sistemi assiomatici in baseall�ordine espressivo.Some common fallacies about fundamental themes of Logic are exposed:the First and Second incompleteness Theorem interpretations,Chaitin�s various superficialities and the usual classification of the axiomaticTheories in function of its language order.PAROLE CHIAVE: Incompletezza, indecidibilit, coerenza, categoricit, completezzasemantica, casualit, complessit, linguaggi del primo ordine,linguaggi del secondo ordine.KEYWORDS: Incompleteness, undecidability, semantic completeness, categoricity,randomness, Chaitin�s constant, first and second order languages,consistency.https://www.bubok.es/libros/224441/the-godels-legacy-revisiting-the-logic Some common fallacies about fundamental themes of Logic are ex- posed: the First and Second incompleteness Theorem interpretations, Chaitin�s various superficialities and the usual classification of the ax- iomatic Theories in function of its language order. KEYWORDS: Incompleteness, undecidability, semantic completeness, categoricity, randomness, Chaitin�s constant, first and second order languages, consistency. https://www.bubok.es/libros/224194/la-logica-matematica-dopo-godelIn complemento al libro I confini logici della Matematica dello stesso autore, si sottolinea l™esigenza di una revisione di tipo semantico della Logica matematica. Essa, trascurando la classificazione delle Teorie in base all™ordine espressivo, rivaluta il ruolo della Teoria formale degli insiemi. Inoltre si indeboliscono le ipotesi del primo Teorema d™incompletezza e si chiarisce la sua esatta relazione con i paradossi semantici (di Berry, Richard, etc.).In addition to the book I confini logici della Matematica by the same author, it is emphasized that a semantic type revision of the mathematical Logic is necessary. Neglecting the usual expressive-order type classification of Theories, this revision re-evaluates the role of the formal Set Theory. Moreover it is achieved a weakening of the hypotheses of the first incompleteness Theorem and its exact relationship with the semantic paradoxes (Berry, Richard, etc.) is clarified.https://www.bubok.es/libros/209630/confines-logicos-de-la-matematicaLos capitales resultados de la Lógica moderna, a pesar de constituir unos de los logros epistemológicos más importantes del pensamiento humano, quedan muy poco conocidos a más de 80 ańos de sus descubrimiento. Las principales razones quizás sean la desdichada separación entre la cultura científica y la (así dicha) humanística y el uso de una terminología anacrónica, ambigua e insuficiente. Otra razón fundamental es la sorprendente circulación de no pocos errores y confusiones incluso sobre temas cruciales de la materia. Algunos de ellos, como observamos creemos por primera vez en este libro, proceden del propio Gödel y parecen haber sufrido una especie típica de dogma de la indiscutibilidad.Este libro, intentando corregir dichos defectos, aspira sobre todo a contribuir a la difusión de esta materia fascinante, valiéndose para tal fin del lenguaje más sencillo y comprensible posible, dentro del necesario respeto por el rigor, la integridad y la profundidad de todas las implicaciones. Durante el proceso han surgido espontáneamente algunas revisiones y novedades que realizan una sistematización inédita y original de algunos conceptos y propiedades cardinales de la Lógica.https://www.bubok.es/libros/195952/i-confini-logici-della-matematicaI cardinali risultati della Logica moderna una delle conquiste epistemologiche piů importanti del pensiero umano restano, a piů di ottantanni dal loro raggiungimento, sconvenientemente mis-conosciuti anche al pubblico piů colto. Le ragioni essenziali sono probabilmente la nefasta separazione della cultura scientifica da quella (cosiddetta) umanistica e luso di una terminologia antiquata, insufficiente e ambigua. Un altro motivo č costituito dalla sorprendente circolazione di diversi errori ed equivoci su vari temi cruciali della materia, alcuni dei quali, come osserviamo sembra per la prima volta in questo libro, risalgono allo stesso Gödel e pare abbiano sofferto di una tipica sorta di dogma dellindiscutibilit.Cercando di correggere questi difetti, questo volume si propone di rilanciare la diffusione di questaffascinante materia, mediante il linguaggio piů semplice e comprensibile pur nel rispetto assoluto del rigore, dellintegrit e profondit di tutte le implicazioni. In questo processo sono sorte spontaneamente diverse revisioni e novit, non poche su argomenti di importanza fondamentale. Una ri-sistemazione inedita e originale dei temi principali della Logica. NUOVA EDIZIONE