Aucun système logique n’est à la fois complet et cohérent (Gödel)le théorème d'incomplétude de Gödel, affirme que n'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie.
Ici Jean Staune nous sort le jeu de "j'oublie de dire la moitié parce que ça ne m'arrange pas", que d'aucuns auraient pu qualifier de "mensonge par omission". Loin de moi (ces jours-ci) l'idée de qualifier Jean Staune de menteur, je le pense plutôt incompétent. Le domaine d'application du théorème d'incomplétude de Gôdel, semble lui échapper. Comme semble lui échapper le théorème de complétude de Gôdel. Il s'agit du théorème de complétude du calcul des prédicats du premier ordre, autrement dit du théorème de complétude du calcul de la logique du premier ordre.
La logique du premier ordre introduit un ensemble de symboles désignant des variables, un ensemble de symboles désignant des fonctions, un ensemble de symboles désignant des prédicats, ainsi que des connecteurs logiques et deux symboles et appelés quantificateurs. Les formules logiques déduites de ce calcul des prédicats ont pour but de s'appliquer à n'importe quel modèle, c’est-à-dire n'importe quel ensemble dans lequel les variables, les fonctions, les prédicats du calcul représentent respectivement des éléments de l'ensemble, des fonctions de cet ensemble dans lui-même, et des parties de cet ensemble. Elle a pour objectif de définir quels sont les énoncés qui sont valides et quels sont ceux qui ne le sont pas.
Et à ceci, Jean Staune doit être allergique, des fois qu'il apporterait lui-même la preuve que ses énoncés sont des illogismes et ses déductions du pipeau.
Via Pharyngula
Weaver, under cross examination by Tacoma attorney Rick Creatura, said she no longer regards Ramtha, a 35,000-year-old male warrior spirit entity channeled by Yelm spiritual teacher JZ Knight, as her mentor. Knight, founder of the Ramtha school, claims Weaver appropriated Ramtha school techniques and used them in her own five-day seminar, in violation of a school registration certificate that says the teachings are for students' personal use only. [read more]
[Image credit thevalkyrie]
Who is BS4A for?
Bible Study for Atheists is primarily for... atheists! In particular, it's for skeptics who have never read the Bible in depth.
Expect irreverence here. If you can't handle it, please go elsewhere.
That said, all are welcome to contribute comments; just don't be an annoying troll. Feel free to use this forum to argue for or against the truth and relevance of the scripture.
Your humble host here is an atheist, or at very least an agnostic++.
[read more]
Top Ten Annoying Responses from Theists Upon Finding Out that I Am atheist
10. I feel sorry for you. (um… you feel sorry for me?)
9. It takes more Faith to be an atheist than it does to be a theist. (Only if you change the definitions of all those words.)
8. But you “Believe” in science; it’s the same thing. (Believe? Only as much as I “believe” that “A is A,” “Not-A is Not-A,” and “A is not not-A”)
7. Then where did everything come from? (I dunno. And neither do you.)
"
