Religions du monde :: forum religion

indian a écrit : ↑22 avr.25, 07:56 C'est en quelque sorte la nature même de la ''chose''

Oui

Tu veux démontrer des axiomes toi ? @ vic

@Fides il n'y a que l'espece homo sapiens sapiens qui ''possède'' ce potentiel.

Je pense que tu ne comprends rien à la logique vuc.

Quand on parle de logique formelle , c'est dans le cadre d'axiomes mathématique oui

vic a écrit : ↑22 avr.25, 07:58 Quand on parle de logique formelle , c'est dans le cadre d'axiomes mathématique oui

Pourquoi mathématiques ?

idem avec le virus sars-cov-2 par exemple... son ''potentiel '' lui est unique...

Fides a écrit : ↑22 avr.25, 07:58 Ah oui ? Quel animal l'a ?

que nous

La logique formelle repose sur des axiomes logiques.

La logique formelle ne se démontre pas elle même JM . je te parie tout ce que tu veux que tu ne pourras jamais démontrer que par la logique formelle la logique formelle elle même

Fides a écrit : ↑22 avr.25, 07:59 J'efface, j'avais mal lu.

pas de soucis

indian a écrit : ↑22 avr.25, 07:59 que nous

J'ai effacé, j'avais mal lu.

vic a écrit : ↑22 avr.25, 07:59 La logique formelle ne se démontre pas elle même JM . je te parie tout ce que tu veux que tu ne pourras jamais que par la logique formelle la logique formelle elle même

Mais tu veux démontrer des axiomes toi ?

ca m'arrive souvent je comprends

Aime ce message

indian a écrit : ↑22 avr.25, 07:59 pas de soucis

Tu ne sais pas ce qu'est un axiome je vois.

indian a écrit : ↑22 avr.25, 08:00 ca m'arrive souvent je comprends

surtout quand ma femme me parle

Lol

J'm'interroge a écrit : ↑22 avr.25, 08:00 Tu ne sais pas ce qu'est un axiome je vois.

William S Hatcher en a posé 3.

Copilot : Le théorème d'incomplétude de Gödel s'applique principalement aux systèmes formels qui incluent l'arithmétique, et donc aux ensembles d'axiomes utilisés pour structurer ces systèmes. Mais son implication va bien au-delà des seuls axiomes : il met en lumière une limite inhérente à la logique formelle elle-même.

Dans un système logique assez puissant, il existera toujours des propositions qui sont vraies mais indémontrables à l'intérieur du système. Cela signifie que la logique formelle, lorsqu'elle repose sur des axiomes, ne peut être entièrement autosuffisante pour garantir qu'elle couvre toutes les vérités mathématiques ou logiques possibles. En ce sens, la logique formelle en général est concernée, car elle doit composer avec l'idée qu'aucun système ne peut être à la fois totalement cohérent et complet.

indian a écrit : ↑22 avr.25, 08:01 William S Hatcher en a posé 3.

T'es sûr qu'il s'agissait bien d'axiomes ?

@Fides l'être humain, les êtres humains, l'humanité, notre espece ''homo sapiens sapiens ''... est une espèce du monde vivant qui est unique, composée d'êtres uniques et exceptionnels

J'm'interroge a écrit : ↑22 avr.25, 08:03 T'es sûr qu'il s'agissait bien d'axiomes ?

oui.

https://www.cnrtl.fr/definition/axiome

vic a écrit : ↑22 avr.25, 08:02 Copilot : Le théorème d'incomplétude de Gödel s'applique principalement aux systèmes formels qui incluent l'arithmétique, et donc aux ensembles d'axiomes utilisés pour structurer ces systèmes. Mais son implication va bien au-delà des seuls axiomes : il met en lumière une limite inhérente à la logique formelle elle-même.

Oui il y a une limite. Bien sûr, et ?

2. LOG. et MATH. MOD., avec l'apparition des géom. non euclidiennes.
a) Énoncé, proposition posés à la base d'un système hypothético-déductif ou plus généralement élément d'une axiomatique

Dans le lang. sc. Énoncé répondant à trois critères fondamentaux : être évident, non démontrable, universel

indian a écrit : ↑22 avr.25, 08:03 @Fides l'être humain, les êtres humains, l'humanité, notre espece ''homo sapiens sapiens ''... est une espèce du monde vivant qui est uniques, composée d'êtres uniques et exceptionnels

Oui

la logique formelle peut sembler démontrer des choses à l'intérieur de son système , mais elle ne peut pas prouver la logique formelle elle même et se prouver elle même

notre espèce est la plus créative aussi

vic a écrit : Dans un système logique assez puissant, il existera toujours des propositions qui sont vraies mais indémontrables à l'intérieur du système. Cela signifie que la logique formelle, lorsqu'elle repose sur des axiomes, ne peut être entièrement autosuffisante pour garantir qu'elle couvre toutes les vérités mathématiques ou logiques possibles. En ce sens, la logique formelle en général est concernée, car elle doit composer avec l'idée qu'aucun système ne peut être à la fois totalement cohérent et complet.

Et ?

Ça ne signifie en rien qu'on ne peut rien démontrer sans biais dans le cardre d'une telle logique.

indian a écrit : ↑22 avr.25, 08:04 notre espèce est la plus créative aussi

Oui

indian a écrit : ↑22 avr.25, 08:03 oui.

Tu confonds axiomes et postulats je pense.

J'm'interroge a écrit : ↑22 avr.25, 08:05 Tu confonds axiomes et postulats je pense.

ah oui? c'est possible

https://www.cnrtl.fr/definition/postulat

B. − P. anal.
1. MATH., LOG. Proposition faisant partie de l'axiomatique formulée au départ d'un système hypothético-déductif

indian a écrit : ↑22 avr.25, 08:05 ah oui? c'est possible

C'est même certain indian.

J'm'interroge a écrit : ↑22 avr.25, 08:05 Ça ne signifie en rien qu'on ne peut rien démontrer sans biais dans le cardre d'une telle logique.

Oui, mais ça ne prouve pas que le cadre de logique utilisé est vrai en lui même .

2. SC. Principe non démontré que l'on accepte et que l'on formule à la base d'une recherche ou d'une théorie.

J'm'interroge a écrit : ↑22 avr.25, 08:06 C'est même certain indian.

@J'm'interroge si tu le dis, qu'il t'en soit ainsi

3. PHILOS. ,,Proposition qui n'est pas évidente par elle-même, mais qu'on est conduit à recevoir parce qu'on ne voit pas d'autre principe auquel on puisse rattacher soit une vérité qu'on ne saurait mettre en doute, soit une opération ou un acte dont la légitimité n'est pas contestée

vic a écrit : ↑22 avr.25, 08:06 Oui, mais ça ne prouve pas que le cadre de logique utilisé est vrai en lui même .

Ça ne veut rien dire que de dire d'un cadre logique qu'il est vrai.

Si Jm , ça veut dire quelque chose

Tu confonds vérité et cohérence (ou consistance) logique vic.

vic a écrit : ↑22 avr.25, 08:07 Si Jm , ça veut dire quelque chose

Non.

Il y a existence, quelque chose existe.

indian a écrit : ↑22 avr.25, 08:07 Il y a existence, quelque chose existe.

axiome ou postulat?