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:
463 922
Ouvrir une nouvelle discussion
Page 1 sur 2
1
Dernière
Aller à la page:
Affichage des discussions 1 à 75 sur 108
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
La paradoxe du Barbier
Jmlesfrites, 29/07/2024, 11h30,
Réponses: 10
Affichages: 421
Note0 / 5
30/07/2024,
11h57
l'intersection de tous les ensembles
amineyasmine, 27/07/2024, 23h59,
Réponses: 6
Affichages: 256
Note0 / 5
29/07/2024,
06h40
1+1=3 , je comprends pas.
Jmlesfrites, 12/06/2024, 21h37,
Réponses: 51
Affichages: 1 794
Note0 / 5
28/07/2024,
12h57
L’ensemble vide et vide quantique
amineyasmine, 06/07/2024, 23h28,
Réponses: 1
Affichages: 307
Note0 / 5
07/07/2024,
07h38
Conseils pour débutants/ témoignages.
DidierGustin, 27/04/2024, 15h10,
Réponses: 7
Affichages: 1 387
Note0 / 5
30/06/2024,
22h20
Les théories du négligeable.
Jmlesfrites, 24/03/2024, 19h05,
Réponses: 31
Affichages: 2 727
Note0 / 5
26/06/2024,
07h20
Sur quoi se base la logique exactement
visiteur3465, 19/05/2024, 11h02,
Réponses: 6
Affichages: 636
Note0 / 5
19/05/2024,
16h16
Problème Logique de Comptage.
0riGin, 29/04/2024, 02h54,
Réponses: 30
Affichages: 1 081
Note0 / 5
30/04/2024,
11h06
Conseil étude de la logique
ThM55, 17/02/2024, 17h29,
Réponses: 4
Affichages: 1 780
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 596
Note0 / 5
25/01/2024,
06h34
Théorie des modèles et nombres complexes.
Anonyme007, 17/05/2023, 18h40,
Réponses: 53
Affichages: 4 569
Note0 / 5
14/01/2024,
17h49
Négation d'une proposition
Abdellah7, 07/12/2023, 12h45,
Réponses: 10
Affichages: 2 665
Note0 / 5
18/12/2023,
19h38
Définition des nombres réels par 3 constantes
AdrienMaths, 11/12/2023, 08h52,
Réponses: 3
Affichages: 1 357
Note0 / 5
11/12/2023,
13h10
l'ensemble des cardinaux des ensembles infinis
amineyasmine, 05/09/2023, 21h58,
Réponses: 29
Affichages: 2 349
Note0 / 5
01/12/2023,
06h49
un axiome forcé
amineyasmine, 31/08/2023, 22h55,
Réponses: 40
Affichages: 3 630
Note0 / 5
06/11/2023,
22h59
Multivers ensembliste
Liet Kynes, 02/10/2023, 06h48,
Réponses: 38
Affichages: 3 157
Note0 / 5
29/10/2023,
15h35
Infinis et dénombrement
Liet Kynes, 12/10/2023, 17h51,
Réponses: 47
Affichages: 2 267
Note0 / 5
20/10/2023,
22h08
tiers exclu
ilelogique, 19/09/2023, 17h59,
Réponses: 16
Affichages: 2 167
Note0 / 5
24/09/2023,
19h31
Un ensemble que je ne comprend pas
amineyasmine, 09/09/2023, 23h31,
Réponses: 45
Affichages: 3 492
Note0 / 5
18/09/2023,
07h42
Ensemble N......
Duffman, 26/08/2023, 00h51,
Réponses: 16
Affichages: 1 948
Note0 / 5
27/08/2023,
19h38
Déduction naturelle vs Calcul des séquents
sunyata, 24/07/2023, 18h30,
Réponses: 1
Affichages: 2 352
Note0 / 5
25/07/2023,
21h55
Dénomination .
Duffman, 10/07/2023, 04h48,
Réponses: 95
Affichages: 7 077
Note0 / 5
23/07/2023,
21h52
Table de vérité
BIG136, 05/07/2023, 07h24,
Réponses: 4
Affichages: 1 914
Note0 / 5
05/07/2023,
13h06
vrai et démontrable
ilelogique, 03/04/2023, 18h22,
Réponses: 50
Affichages: 4 365
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: 2 573
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 856
Note0 / 5
26/04/2023,
22h45
Relation R d'équivalence
BIG136, 21/03/2023, 18h39,
Réponses: 3
Affichages: 2 422
Note0 / 5
22/03/2023,
06h34
Problème d'induction structurelle
CotteB, 03/03/2023, 15h16,
Réponses: 9
Affichages: 2 727
Note0 / 5
09/03/2023,
17h12
Syracuse formule impaire/impaire
Liet Kynes, 02/03/2023, 18h26,
Réponses: 2
Affichages: 2 104
Note0 / 5
02/03/2023,
19h17
La logique
Medaiich, 10/01/2023, 14h45,
Réponses: 1
Affichages: 2 734
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 888
Note0 / 5
10/01/2023,
11h20
Question comme ça...
Lt Columbo, 12/08/2022, 04h27,
Réponses: 27
Affichages: 3 950
Note0 / 5
09/01/2023,
12h43
Un peu de logique booléenne...
5t3ph, 30/12/2022, 23h37,
Réponses: 4
Affichages: 2 505
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: 2 408
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: 2 637
Note0 / 5
09/12/2022,
13h13
démonstration de logique classique (trivial ?)
christianautodidacte, 27/03/2022, 22h40,
Réponses: 8
Affichages: 4 211
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: 3 194
Note0 / 5
02/09/2022,
17h13
quel est le principe logique transgressé ?
Alain2021, 15/08/2022, 15h26,
Réponses: 14
Affichages: 2 930
Note0 / 5
16/08/2022,
19h08
les "non-ensembles"
MissJenny, 17/06/2022, 09h57,
Réponses: 23
Affichages: 3 544
Note0 / 5
22/06/2022,
12h17
Théorie des champs ordonnés
Nini42, 09/05/2022, 18h18,
Réponses: 8
Affichages: 3 181
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: 4 041
Note0 / 5
18/03/2022,
11h48
Intégrammes
Olivierlamy, 15/03/2022, 18h50,
Réponses: 2
Affichages: 3 333
Note0 / 5
17/03/2022,
09h04
Petite question de vocabulaire sur les predicats
passion math, 04/02/2022, 13h31,
Réponses: 4
Affichages: 3 735
Note0 / 5
06/02/2022,
16h10
propositions prédicats ?
ilelogique, 01/02/2022, 10h02,
Réponses: 20
Affichages: 3 454
Note0 / 5
02/02/2022,
06h35
Np
ilelogique, 28/01/2022, 07h57,
Réponses: 7
Affichages: 3 300
Note0 / 5
30/01/2022,
00h35
Questions relatives à la définition des sciences formelles
Alain2021, 06/01/2022, 14h41,
Réponses: 9
Affichages: 4 418
Note0 / 5
11/01/2022,
09h10
Les mathématiques peuvent-elles exister sans les nombres ?
andretou, 11/04/2021, 12h54,
Réponses: 75
Affichages: 8 047
Note0 / 5
28/12/2021,
19h14
Différence entre épistémique et doxastique
Matmat, 14/12/2021, 14h01,
Réponses: 7
Affichages: 4 070
Note0 / 5
15/12/2021,
15h30
raisonnement: l' induction 'logique' ... et sa validité logique ?
Bounoume, 02/07/2021, 23h15,
Réponses: 24
Affichages: 5 076
Note0 / 5
03/12/2021,
16h36
police logique
ilelogique, 17/11/2021, 08h25,
Réponses: 10
Affichages: 4 316
Note0 / 5
22/11/2021,
23h00
Résolution du paradoxe de l’interrogation surprise
Desi14, 07/11/2021, 14h11,
Réponses: 3
Affichages: 4 199
Note0 / 5
10/11/2021,
07h24
Hilbert, Gödel, Turing, P=NP et calculabilité
ilelogique, 24/09/2021, 20h25,
Réponses: 2
Affichages: 5 975
Note0 / 5
28/09/2021,
13h48
Classes et prédicats unaires.
Anonyme007, 22/09/2021, 18h16,
Réponses: 28
Affichages: 3 873
Note0 / 5
23/09/2021,
15h01
à propos de P=NP
ilelogique, 20/08/2021, 08h58,
Réponses: 57
Affichages: 8 494
Note0 / 5
25/08/2021,
07h28
Comment montrer qu'une assertion est fausse ou vraie
Mameu, 20/07/2021, 19h28,
Réponses: 31
Affichages: 10 114
Note0 / 5
26/07/2021,
13h03
Multiplication implicite de la métamathématique
AdrienMaths, 10/07/2021, 21h49,
Réponses: 2
Affichages: 3 908
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: 4 014
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 935
Note0 / 5
02/07/2021,
09h09
Exercice Logique
Steinbeck, 25/06/2021, 08h13,
Réponses: 3
Affichages: 3 951
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: 4 061
Note0 / 5
24/06/2021,
15h44
Arithmétique de Peano du premier ordre
Médiat, 31/05/2021, 11h22,
Réponses: 152
Affichages: 8 485
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: 10 297
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 920
Note0 / 5
16/04/2021,
14h44
Nécessaire et Possible
BIG136, 08/04/2021, 08h04,
Réponses: 21
Affichages: 4 203
Note0 / 5
10/04/2021,
21h45
Logique intuitioniste
Merlin95, 03/04/2021, 00h21,
Réponses: 15
Affichages: 4 508
Note0 / 5
03/04/2021,
21h14
Equivalence
BIG136, 30/03/2021, 08h03,
Réponses: 5
Affichages: 3 847
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 885
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: 4 394
Note0 / 5
22/02/2021,
19h42
L'assemblage de l'ensemble vide selon Bourbaki
nerub, 09/02/2021, 01h01,
Réponses: 37
Affichages: 7 541
Note0 / 5
12/02/2021,
08h04
Le langage de base
invite84127968, 23/01/2020, 06h38,
Réponses: 17
Affichages: 7 376
Note0 / 5
10/12/2020,
19h05
La négation ¬p
mathieu785, 20/10/2020, 16h15,
Réponses: 11
Affichages: 5 250
Note0 / 5
28/11/2020,
19h13
Paradoxe algorithmique, problème de l'arrêt
vincent2303, 28/11/2020, 01h40,
Réponses: 11
Affichages: 4 601
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: 7 284
Note0 / 5
27/11/2020,
15h52
Déplacé :
Comment définir la longueur d'une ligne..?
alamatasod, 01/11/2020, 06h36,
Note0 / 5
Informations et options du forum
Modérateurs de ce forum