Contributions de شتيفان
Un utilisateur avec 35 modifications. Compte créé le 22 septembre 2014.
8 janvier 2020
- 11:018 janvier 2020 à 11:01 diff hist +65 m Système formel →Sources
- 11:008 janvier 2020 à 11:00 diff hist +69 m Système formel Aucun résumé des modifications
- 10:048 janvier 2020 à 10:04 diff hist −30 m Principe de non-contradiction relecture du paragraphe “En logique mathématique”
- 09:548 janvier 2020 à 09:54 diff hist −142 m Pragmatisme Mise en forme Balise : Éditeur visuel
- 09:148 janvier 2020 à 09:14 diff hist −9 m Logique modale Aucun résumé des modifications
- 09:068 janvier 2020 à 09:06 diff hist +78 m Logique modale Mise en forme Balise : Éditeur visuel
- 08:148 janvier 2020 à 08:14 diff hist +1 m Logique minimale Aucun résumé des modifications
- 07:528 janvier 2020 à 07:52 diff hist +189 m Intuitionnisme légère amélioration de la traduction Balise : Éditeur visuel
7 janvier 2020
- 22:097 janvier 2020 à 22:09 diff hist +36 m Disjonction logique mention de la déduction naturelle, quelques virgules
- 20:267 janvier 2020 à 20:26 diff hist −75 Calcul des prédicats Mise en forme
- 20:037 janvier 2020 à 20:03 diff hist +286 Projet:Mathématiques/Le Thé/Archive 25 →Étudiants en Licence intervenant approximativement sur les articles de logique
6 janvier 2020
- 17:266 janvier 2020 à 17:26 diff hist +1 m Projet:Mathématiques/Le Thé/Archive 25 →Étudiants en Licence intervenant approximativement sur les articles de logique Balise : Éditeur visuel
- 17:246 janvier 2020 à 17:24 diff hist +373 Projet:Mathématiques/Le Thé/Archive 25 →Étudiants en Licence intervenant approximativement sur les articles de logique Balise : Éditeur visuel
12 décembre 2019
- 23:0012 décembre 2019 à 23:00 diff hist +1 m Mème Internet Aucun résumé des modifications
22 octobre 2019
- 23:5522 octobre 2019 à 23:55 diff hist +19 m Gare d'Aillevillers réfection d'un lien
10 septembre 2019
- 20:5310 septembre 2019 à 20:53 diff hist +1 m Dixième problème de Hilbert faute d'orthographe corrigée
10 février 2019
- 11:2310 février 2019 à 11:23 diff hist +509 Fonction calculable Aucun résumé des modifications Balise : Éditeur visuel
7 février 2019
- 21:157 février 2019 à 21:15 diff hist −185 Théorie de la calculabilité relecture de la page Balise : Éditeur visuel : basculé
- 20:337 février 2019 à 20:33 diff hist −6 m Problème de décision Aucun résumé des modifications Balise : Éditeur visuel
- 20:227 février 2019 à 20:22 diff hist +22 m Problème de la décision Aucun résumé des modifications Balise : Éditeur visuel
- 19:087 février 2019 à 19:08 diff hist +5 m Récursivité Aucun résumé des modifications
- 19:057 février 2019 à 19:05 diff hist +172 Récursivité Correction des citations d'Edgar Morin
31 janvier 2019
- 19:0931 janvier 2019 à 19:09 diff hist +1 Récursivité Relecture de l'article Balise : Éditeur visuel
- 18:4331 janvier 2019 à 18:43 diff hist −22 Récursivement énumérable Relecture de la page. Balise : Éditeur visuel
- 17:4631 janvier 2019 à 17:46 diff hist +345 Machine de Turing Aucun résumé des modifications Balise : Éditeur visuel : basculé
- 16:4431 janvier 2019 à 16:44 diff hist −1 081 Dixième problème de Hilbert Mise en forme mathématique.
- 01:0831 janvier 2019 à 01:08 diff hist +101 N Utilisateur:شتيفان Nouvelle page : Je souhaite améliorer les pages en rapport avec les mathématiques et l'histoire des mathématiques. actuelle Balise : Éditeur visuel
30 janvier 2019
- 19:1230 janvier 2019 à 19:12 diff hist −233 Dixième problème de Hilbert Aucun résumé des modifications
- 15:5130 janvier 2019 à 15:51 diff hist +91 Utilisateur:Chrisstopher42/Brouillon Aucun résumé des modifications actuelle
- 15:3930 janvier 2019 à 15:39 diff hist −438 Utilisateur:Chrisstopher42/Brouillon Aucun résumé des modifications
4 avril 2015
- 11:044 avril 2015 à 11:04 diff hist −1 m Quadrature de la parabole correction orthographique Stendall -> Stedall
8 février 2015
- 09:288 février 2015 à 09:28 diff hist +1 m Courbure de Gauss Keyszig -> Kreyszig
28 novembre 2014
- 23:4028 novembre 2014 à 23:40 diff hist +2 m Mathématiques arabes trigométrie > trigonométrie
24 septembre 2014
- 11:4824 septembre 2014 à 11:48 diff hist 0 Quadrature de la parabole nombre de colonnes des références Balise : Éditeur visuel
22 septembre 2014
- 22:3222 septembre 2014 à 22:32 diff hist +54 Quadrature de la parabole Je coorige une confusion entre axiome d'Archimède et proposition X.1 d'Euclide