Thursday, April 12, 2018

Friendly Atheist asked for it ...

And here it is :-)
Now people, you have to help me fill it.

Send everything to : oldcola[ ]gmail[ ]com and I'll post ASAP.
Alternative, if you are a Facebook user: join the group Stuff Atheists Like, post something over there and I will link to it, in a special post over here.

Tuesday, November 25, 2008

Gödel

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.



Sunday, September 14, 2008

Saturday, September 13, 2008

35,000-year-old male warrior spirit entities

Via Pharyngula


25EC8211-2E96-4DF9-8FDF-0AD44C623AA4.jpg

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]