Se souvenir de moi ?
Retour sur Futura
S'inscrire
Forum
Futura-Sciences : les forums de la science
MATHEMATIQUES
Logique
Annonce:
Modération du forum
L’équipe du forum
25/01/2020
Affichages:
437 704
Ouvrir une nouvelle discussion
Page 1 sur 2
1
Dernière
Aller à la page:
Affichage des discussions 1 à 75 sur 102
Forum:
Logique
Appelée aussi Métamathématique
Outils du forum
Ouvrir une nouvelle discussion…
Voir le forum parent
Recherche dans ce forum
Voir les discussions
Voir les messages
Recherche avancée
Discussions dans le forum
Intitulé
/
Auteur
Réponses / Affichages
Dernier message
Conseils pour débutants/ témoignages.
DidierGustin, Hier, 15h10,
Réponses: 2
Affichages: 144
Note0 / 5
Aujourd'hui,
03h55
Les théories du négligeable.
Jmlesfrites, 24/03/2024, 19h05,
Réponses: 9
Affichages: 1 094
Note0 / 5
28/03/2024,
18h09
Conseil étude de la logique
ThM55, 17/02/2024, 17h29,
Réponses: 4
Affichages: 1 269
Note0 / 5
23/02/2024,
11h01
Définition de la logique et de la logique formelle
sebastien2023, 06/01/2024, 13h53,
Réponses: 36
Affichages: 2 038
Note0 / 5
25/01/2024,
06h34
Théorie des modèles et nombres complexes.
Anonyme007, 17/05/2023, 18h40,
Réponses: 53
Affichages: 3 751
Note0 / 5
14/01/2024,
17h49
Négation d'une proposition
Abdellah7, 07/12/2023, 12h45,
Réponses: 10
Affichages: 1 284
Note0 / 5
18/12/2023,
19h38
Définition des nombres réels par 3 constantes
AdrienMaths, 11/12/2023, 08h52,
Réponses: 3
Affichages: 922
Note0 / 5
11/12/2023,
13h10
l'ensemble des cardinaux des ensembles infinis
amineyasmine, 05/09/2023, 21h58,
Réponses: 29
Affichages: 1 850
Note0 / 5
01/12/2023,
06h49
un axiome forcé
amineyasmine, 31/08/2023, 22h55,
Réponses: 40
Affichages: 2 555
Note0 / 5
06/11/2023,
22h59
Multivers ensembliste
Liet Kynes, 02/10/2023, 06h48,
Réponses: 38
Affichages: 2 329
Note0 / 5
29/10/2023,
15h35
Infinis et dénombrement
Liet Kynes, 12/10/2023, 17h51,
Réponses: 47
Affichages: 1 770
Note0 / 5
20/10/2023,
22h08
tiers exclu
ilelogique, 19/09/2023, 17h59,
Réponses: 16
Affichages: 1 707
Note0 / 5
24/09/2023,
19h31
Un ensemble que je ne comprend pas
amineyasmine, 09/09/2023, 23h31,
Réponses: 45
Affichages: 3 014
Note0 / 5
18/09/2023,
07h42
Ensemble N......
Duffman, 26/08/2023, 00h51,
Réponses: 16
Affichages: 1 500
Note0 / 5
27/08/2023,
19h38
Déduction naturelle vs Calcul des séquents
sunyata, 24/07/2023, 18h30,
Réponses: 1
Affichages: 1 359
Note0 / 5
25/07/2023,
21h55
Dénomination .
Duffman, 10/07/2023, 04h48,
Réponses: 95
Affichages: 5 392
Note0 / 5
23/07/2023,
21h52
Table de vérité
BIG136, 05/07/2023, 07h24,
Réponses: 4
Affichages: 1 469
Note0 / 5
05/07/2023,
13h06
vrai et démontrable
ilelogique, 03/04/2023, 18h22,
Réponses: 50
Affichages: 3 785
Note0 / 5
29/06/2023,
17h50
Logique basique LPO, Méthode de résolution de Robinson (avec principe de réfutation)
MisterM123, 09/05/2023, 11h46,
Réponses: 1
Affichages: 1 558
Note0 / 5
09/05/2023,
13h19
famille libre / liée, de vecteurs et consistance / inconsistance d'une théorie.
Anonyme007, 15/04/2023, 03h52,
Réponses: 24
Affichages: 2 074
Note0 / 5
26/04/2023,
22h45
Relation R d'équivalence
BIG136, 21/03/2023, 18h39,
Réponses: 3
Affichages: 1 656
Note0 / 5
22/03/2023,
06h34
Problème d'induction structurelle
CotteB, 03/03/2023, 15h16,
Réponses: 9
Affichages: 1 982
Note0 / 5
09/03/2023,
17h12
Syracuse formule impaire/impaire
Liet Kynes, 02/03/2023, 18h26,
Réponses: 2
Affichages: 1 696
Note0 / 5
02/03/2023,
19h17
La logique
Medaiich, 10/01/2023, 14h45,
Réponses: 1
Affichages: 2 315
Note0 / 5
10/01/2023,
15h28
"Mais" est-il une conjonction dans le cas présent ?
Sapiens1007, 27/05/2022, 04h51,
Réponses: 13
Affichages: 3 132
Note0 / 5
10/01/2023,
11h20
Question comme ça...
Lt Columbo, 12/08/2022, 04h27,
Réponses: 27
Affichages: 3 540
Note0 / 5
09/01/2023,
12h43
Un peu de logique booléenne...
5t3ph, 30/12/2022, 23h37,
Réponses: 4
Affichages: 2 104
Note0 / 5
01/01/2023,
13h52
Inférence bayésienne du taux de probabilité d'abiogénese sur un corps à haut IST
michaelbrrcs, 24/12/2022, 14h15,
Réponses: 2
Affichages: 1 676
Note0 / 5
24/12/2022,
18h40
Métathéorème, théorème d’ordre 1 ou d’ordre supérieur ?
Tomlindo, 14/11/2022, 19h45,
Réponses: 1
Affichages: 1 944
Note0 / 5
09/12/2022,
13h13
démonstration de logique classique (trivial ?)
christianautodidacte, 27/03/2022, 22h40,
Réponses: 8
Affichages: 3 781
Note0 / 5
27/09/2022,
23h49
Quels sont les principes qui régissent les règles de formation ?
Alain2021, 25/08/2022, 05h43,
Réponses: 15
Affichages: 2 529
Note0 / 5
02/09/2022,
17h13
quel est le principe logique transgressé ?
Alain2021, 15/08/2022, 15h26,
Réponses: 14
Affichages: 2 235
Note0 / 5
16/08/2022,
19h08
les "non-ensembles"
MissJenny, 17/06/2022, 09h57,
Réponses: 23
Affichages: 3 108
Note0 / 5
22/06/2022,
12h17
Théorie des champs ordonnés
Nini42, 09/05/2022, 18h18,
Réponses: 8
Affichages: 2 770
Note0 / 5
16/05/2022,
15h55
A quelles conditions deux énoncés sont-ils cohérents ?
Alain2021, 16/03/2022, 10h30,
Réponses: 17
Affichages: 3 069
Note0 / 5
18/03/2022,
11h48
Intégrammes
Olivierlamy, 15/03/2022, 18h50,
Réponses: 2
Affichages: 2 896
Note0 / 5
17/03/2022,
09h04
Petite question de vocabulaire sur les predicats
passion math, 04/02/2022, 13h31,
Réponses: 4
Affichages: 3 322
Note0 / 5
06/02/2022,
16h10
propositions prédicats ?
ilelogique, 01/02/2022, 10h02,
Réponses: 20
Affichages: 3 024
Note0 / 5
02/02/2022,
06h35
Np
ilelogique, 28/01/2022, 07h57,
Réponses: 7
Affichages: 2 885
Note0 / 5
30/01/2022,
00h35
Questions relatives à la définition des sciences formelles
Alain2021, 06/01/2022, 14h41,
Réponses: 9
Affichages: 3 954
Note0 / 5
11/01/2022,
09h10
Les mathématiques peuvent-elles exister sans les nombres ?
andretou, 11/04/2021, 12h54,
Réponses: 75
Affichages: 7 559
Note0 / 5
28/12/2021,
19h14
Différence entre épistémique et doxastique
Matmat, 14/12/2021, 14h01,
Réponses: 7
Affichages: 3 628
Note0 / 5
15/12/2021,
15h30
raisonnement: l' induction 'logique' ... et sa validité logique ?
Bounoume, 02/07/2021, 23h15,
Réponses: 24
Affichages: 4 632
Note0 / 5
03/12/2021,
16h36
police logique
ilelogique, 17/11/2021, 08h25,
Réponses: 10
Affichages: 3 916
Note0 / 5
22/11/2021,
23h00
Résolution du paradoxe de l’interrogation surprise
Desi14, 07/11/2021, 14h11,
Réponses: 3
Affichages: 3 782
Note0 / 5
10/11/2021,
07h24
Hilbert, Gödel, Turing, P=NP et calculabilité
ilelogique, 24/09/2021, 20h25,
Réponses: 2
Affichages: 5 581
Note0 / 5
28/09/2021,
13h48
Classes et prédicats unaires.
Anonyme007, 22/09/2021, 18h16,
Réponses: 28
Affichages: 3 469
Note0 / 5
23/09/2021,
15h01
à propos de P=NP
ilelogique, 20/08/2021, 08h58,
Réponses: 57
Affichages: 7 997
Note0 / 5
25/08/2021,
07h28
Comment montrer qu'une assertion est fausse ou vraie
Mameu, 20/07/2021, 19h28,
Réponses: 31
Affichages: 9 464
Note0 / 5
26/07/2021,
13h03
Multiplication implicite de la métamathématique
AdrienMaths, 10/07/2021, 21h49,
Réponses: 2
Affichages: 3 449
Note0 / 5
11/07/2021,
22h36
Peut on modéliser n'importe quoi par une fonction ?
Newtonien, 07/07/2021, 21h16,
Réponses: 11
Affichages: 3 586
Note0 / 5
09/07/2021,
22h33
Un énoncé indécidable dans l'arithmétique de Peano mais démontrable dans une autre théorie ?
andretou, 21/06/2021, 13h26,
Réponses: 4
Affichages: 3 500
Note0 / 5
02/07/2021,
09h09
Exercice Logique
Steinbeck, 25/06/2021, 08h13,
Réponses: 3
Affichages: 3 511
Note0 / 5
27/06/2021,
12h53
Quelles sont les théories capables de démontrer les théorèmes de base de l'arithmétique ?
andretou, 22/06/2021, 14h44,
Réponses: 25
Affichages: 3 607
Note0 / 5
24/06/2021,
15h44
Arithmétique de Peano du premier ordre
Médiat, 31/05/2021, 11h22,
Réponses: 152
Affichages: 7 865
Note0 / 5
07/06/2021,
12h50
Les algorithmes permettent-ils de fabriquer automatiquement des théorèmes ?
andretou, 18/05/2021, 21h20,
Réponses: 243
Affichages: 9 584
Note0 / 5
31/05/2021,
10h28
Exposition par zéro ou par le néant ?
OmegaSigmaDelta, 15/04/2021, 16h36,
Réponses: 51
Affichages: 5 343
Note0 / 5
16/04/2021,
14h44
Nécessaire et Possible
BIG136, 08/04/2021, 08h04,
Réponses: 21
Affichages: 3 723
Note0 / 5
10/04/2021,
21h45
Logique intuitioniste
Merlin95, 03/04/2021, 00h21,
Réponses: 15
Affichages: 4 018
Note0 / 5
03/04/2021,
21h14
Equivalence
BIG136, 30/03/2021, 08h03,
Réponses: 5
Affichages: 3 376
Note0 / 5
30/03/2021,
09h52
Quel est le contraire de "Etre ou ne pas être" ?
andretou, 16/03/2021, 10h23,
Réponses: 15
Affichages: 4 396
Note0 / 5
21/03/2021,
15h36
Déplacé :
Décès d'Ansset
L’équipe du forum, 04/03/2021, 22h27,
Note0 / 5
Logique
MrX1, 22/02/2021, 00h59,
Réponses: 2
Affichages: 3 917
Note0 / 5
22/02/2021,
19h42
L'assemblage de l'ensemble vide selon Bourbaki
nerub, 09/02/2021, 01h01,
Réponses: 37
Affichages: 6 940
Note0 / 5
12/02/2021,
08h04
Le langage de base
invite84127968, 23/01/2020, 06h38,
Réponses: 17
Affichages: 6 904
Note0 / 5
10/12/2020,
19h05
La négation ¬p
mathieu785, 20/10/2020, 16h15,
Réponses: 11
Affichages: 4 780
Note0 / 5
28/11/2020,
19h13
Paradoxe algorithmique, problème de l'arrêt
vincent2303, 28/11/2020, 01h40,
Réponses: 11
Affichages: 4 126
Note0 / 5
28/11/2020,
16h46
Et s'il y avait 2 fois plus d'entiers que d'entiers pairs ?
andretou, 15/10/2020, 14h56,
Réponses: 71
Affichages: 6 721
Note0 / 5
27/11/2020,
15h52
Déplacé :
Comment définir la longueur d'une ligne..?
alamatasod, 01/11/2020, 06h36,
Note0 / 5
L'hotel infini est accueillant
ornithology, 13/10/2020, 17h03,
Réponses: 2
Affichages: 4 115
Note0 / 5
14/10/2020,
08h26
Théorie des ensembles: approche
Liet Kynes, 17/02/2020, 07h44,
Réponses: 155
Affichages: 12 500
Note0 / 5
12/10/2020,
18h41
Hiérarchie cumulative de von Neumann
Liet Kynes, 03/10/2020, 11h33,
Réponses: 59
Affichages: 6 470
Note0 / 5
10/10/2020,
10h30
Quelle est la valeur logique de la notion mathématique d'"ensemble" ?
aygline, 28/09/2020, 10h30,
Réponses: 24
Affichages: 4 634
Note0 / 5
01/10/2020,
16h29
Axiome des parties
Médiat, 09/09/2020, 22h20,
Réponses: 81
Affichages: 6 850
Note0 / 5
30/09/2020,
10h47
sémantique générale et approche non-aristotelicienne
Christian Arnaud, 28/07/2020, 10h52,
Réponses: 54
Affichages: 9 103
Note0 / 5
05/08/2020,
10h20
Informations et options du forum
Modérateurs de ce forum