Discussion utilisateur:Liviusbarbatus/Archive 1

Mieux comprendre Wikipédia

• Principes fondateurs
• Wikipédia en bref : l'indispensable à savoir
• Interface : le mode d'emploi

Devenir rédacteur

• Débuter sur Wikipédia
• Sommaire de l'aide et jargon
• Comment citer des sources ?
• Forum d'aide aux nouveaux

Vos pages

• Votre page d'accueil
• Votre page de profil (comment se présenter ?)
• Créer un brouillon (aide)

Rejoindre la communauté

• Accueil de la communauté
• Annonces et événements communautaires
• Rejoindre un projet éditorial

Bienvenue sur Wikipédia, Liviusbarbatus !

Bonjour, je vous accueille en tant que wikipédien bénévole.

Wikipédia est une formidable aventure collective, toujours en construction. La version francophone comporte aujourd'hui 2 621 013 articles, rédigés et maintenus par des bénévoles comme vous et moi. Vous allez y effectuer vos premiers pas : si vous avez besoin de conseils ou d'aide pour cela, n'hésitez pas à laisser un message sur le forum des nouveaux. Une réponse vous sera apportée avec plaisir !

Wikipédia repose sur des principes fondateurs respectés par tous :

1. Encyclopédisme et vérifiabilité (s'appuyer sur des sources reconnues) ;
2. Neutralité de point de vue (pas de promotion) ;
3. Licence libre et respect des droits d'auteurs (ni copie, ni plagiat) ;
4. Savoir-vivre (politesse et consensus) ;
5. N'hésitez pas à modifier (l'historique conserve tout).

Vous êtes invité à découvrir tout cela plus en détail en consultant les liens ci-contre →

Un livret d'aide à télécharger, reprenant l’essentiel à savoir, est également à votre disposition.

Je vous souhaite de prendre plaisir à lire ou à contribuer à Wikipédia.

À bientôt !

P.-S. Vos nouveaux messages seront affichés en bas de cette page et signés par leur expéditeur. Pour lui répondre, cliquez sur sa signature (aide).

Bienvenue sur Wikipédia, Liviusbarbatus !

Bonjour, je vous accueille en tant que wikipédien bénévole.

Wikipédia est une formidable aventure collective, toujours en construction. La version francophone comporte aujourd'hui 2 157 208 articles, rédigés et maintenus par des bénévoles comme vous et moi. Vous allez y effectuer vos premiers pas : si vous avez besoin de conseils ou d'aide pour cela, n'hésitez pas à laisser un message sur le forum des nouveaux. Une réponse vous sera apportée avec plaisir !

Wikipédia repose sur des principes fondateurs respectés par tous :

1. Encyclopédisme et vérifiabilité (s'appuyer sur des sources reconnues) ;
2. Neutralité de point de vue (pas de promotion) ;
3. Licence libre et respect des droits d'auteurs (ni copie, ni plagiat) ;
4. Savoir-vivre (politesse et consensus) ;
5. N'hésitez pas à modifier (l'historique conserve tout).

Vous êtes invité à découvrir tout cela plus en détail en consultant les liens ci-contre →

Un livret d'aide à télécharger, reprenant l’essentiel à savoir, est également à votre disposition.

Je vous souhaite de prendre plaisir à lire ou à contribuer à Wikipédia.

À bientôt !

P.-S. Vos nouveaux messages seront affichés en bas de cette page et signés par leur expéditeur. Pour lui répondre, cliquez sur sa signature (aide).

Anne 22/1/15

= 2nd théorème d'incomplétude

Je poursuis ici (vous pouvez répondre sur cette page, je serai au courant).

Il n'existe pas de preuve vraiment simple de D2, qui a la particularité de paraître évidente intuitivement, puisqu'on considère que les preuves se formalisent dans l'arithmétique , mais très pénible à démontrer réellement. Smorynski donne une idée assez précise (dans le Handbook), Girard détaille vraiment une partie de la preuve (f. biblio), avec un choix de notations pas très agréable, mais ça permet de comprendre pourquoi c'est pénible, la preuve du Cori-Lascar est sémantique (elle utilse la conséquence sémantique plutôt que la prouvabilité définie par un système de preuves) ce qui simplifie certaines choses, mais dans ce style la preuve du th. d'incomplétude en théorie des ensembles de Krivine (cf. biblio) est vraiment plus lisible (mais en théorie des ensembles). Proz (discuter) 2 février 2015 à 23:24 (CET)

[]A se lit A est prouvable

Bonsoir, je vais rajouter une référence pour cela dans l'article "Logique intuitionniste" (bientôt). Bonne soirée ǃ--Fschwarzentruber (discuter) 15 avril 2016 à 19:35 (CEST)

Dans la Stanford Encyclopedia of Philosophy, il y a écrit ː "he also considers a second system, classical propositional logic enriched by an operator “B”, where the intended meaning of “B” is “provable.” The axiom system now known as S4".

Donc la phrase que vous avez supprimée ( La construction $\Box A$ se lit "$A$ est prouvable"[réf. nécessaire]) est bien correcte. Merci de l'avoir supprimé car ça m'a permis de réagir et ajouter une source rapidement. Il serait bien d'avoir une autre source même si la Stanford Encyclopedia of Philosophy est assez fiable. Bonne soirée à vous.

--Fschwarzentruber (discuter) 15 avril 2016 à 21:06 (CEST)

La lecture de B A, comme A est prouvable, où B est le début de Beweisbar (prouvable en allemand) vient de la logique de Löb (voir Théorème de Löb) qui est la logique S4 plus l'axiome GL. Mais je ne vois pas le rapport avec la logique intuitionniste. -- Liviusbarbatus

Signature manquante sur Discussion:Permutation

Bonjour Liviusbarbatus,

Je suis un robot qui aide les utilisateurs à ne pas oublier de signer leurs messages.

J'ai constaté que votre signature était manquante ou mal insérée sur la page Discussion:Permutation^(diff) et l'ai rajoutée à votre place. (signaler une erreur)

À l'avenir, pensez à signer vos messages en cliquant sur l'icône au-dessus de votre fenêtre d'édition, ce qui rajoutera les quatre tildes de signature (~~~~). [+ d'infos]

Je vous souhaite de bonnes contributions sur Wikipédia !

Signature manquante (bot) (discuter) 17 septembre 2017 à 09:42 (CEST)