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
26/01/2020
Affichages:
520 642
Ouvrir une nouvelle discussion
Page 1 sur 2
1
Dernière
Aller à la page:
Affichage des discussions 1 à 75 sur 114
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
Banach et Tarski : est ce que les sphères filles sont identiques à la sphère mère ?
Kiraxel, 02/02/2025, 11h07,
Réponses: 97
Affichages: 1 293
Note0 / 5
Aujourd'hui,
08h13
Sous-ensembles .
Jmlesfrites, 18/12/2024, 05h00,
Réponses: 16
Affichages: 1 133
Note0 / 5
13/01/2025,
18h06
Une logique inconnue ?
Enerlibr, 09/01/2025, 12h46,
Réponses: 2
Affichages: 877
Note0 / 5
09/01/2025,
17h06
Achille et la tortue
kaderben, 27/10/2024, 17h14,
Réponses: 10
Affichages: 1 319
Note0 / 5
05/11/2024,
08h02
à propos de P=NP
ilelogique, 20/08/2021, 09h58,
Réponses: 59
Affichages: 10 019
Note0 / 5
04/11/2024,
18h53
Zero
maracanar, 04/11/2024, 16h46,
Réponses: 3
Affichages: 925
Note0 / 5
04/11/2024,
18h16
Le théorème de Cantor
amineyasmine, 23/09/2024, 00h28,
Réponses: 11
Affichages: 1 391
Note0 / 5
24/09/2024,
23h23
La paradoxe du Barbier
Jmlesfrites, 29/07/2024, 12h30,
Réponses: 10
Affichages: 1 915
Note0 / 5
30/07/2024,
12h57
l'intersection de tous les ensembles
amineyasmine, 28/07/2024, 00h59,
Réponses: 6
Affichages: 1 187
Note0 / 5
29/07/2024,
07h40
1+1=3 , je comprends pas.
Jmlesfrites, 12/06/2024, 22h37,
Réponses: 51
Affichages: 3 734
Note0 / 5
28/07/2024,
13h57
L’ensemble vide et vide quantique
amineyasmine, 07/07/2024, 00h28,
Réponses: 1
Affichages: 1 112
Note0 / 5
07/07/2024,
08h38
Conseils pour débutants/ témoignages.
DidierGustin, 27/04/2024, 16h10,
Réponses: 7
Affichages: 2 293
Note0 / 5
30/06/2024,
23h20
Les théories du négligeable.
Jmlesfrites, 24/03/2024, 20h05,
Réponses: 31
Affichages: 3 813
Note0 / 5
26/06/2024,
08h20
Sur quoi se base la logique exactement
visiteur3465, 19/05/2024, 12h02,
Réponses: 6
Affichages: 1 544
Note0 / 5
19/05/2024,
17h16
Problème Logique de Comptage.
0riGin, 29/04/2024, 03h54,
Réponses: 30
Affichages: 2 141
Note0 / 5
30/04/2024,
12h06
Conseil étude de la logique
ThM55, 17/02/2024, 18h29,
Réponses: 4
Affichages: 2 644
Note0 / 5
23/02/2024,
12h01
Définition de la logique et de la logique formelle
sebastien2023, 06/01/2024, 14h53,
Réponses: 36
Affichages: 3 795
Note0 / 5
25/01/2024,
07h34
Théorie des modèles et nombres complexes.
Anonyme007, 17/05/2023, 19h40,
Réponses: 53
Affichages: 5 620
Note0 / 5
14/01/2024,
18h49
Négation d'une proposition
Abdellah7, 07/12/2023, 13h45,
Réponses: 10
Affichages: 3 512
Note0 / 5
18/12/2023,
20h38
Définition des nombres réels par 3 constantes
AdrienMaths, 11/12/2023, 09h52,
Réponses: 3
Affichages: 2 213
Note0 / 5
11/12/2023,
14h10
l'ensemble des cardinaux des ensembles infinis
amineyasmine, 05/09/2023, 22h58,
Réponses: 29
Affichages: 3 305
Note0 / 5
01/12/2023,
07h49
un axiome forcé
amineyasmine, 31/08/2023, 23h55,
Réponses: 40
Affichages: 4 719
Note0 / 5
06/11/2023,
23h59
Multivers ensembliste
Liet Kynes, 02/10/2023, 07h48,
Réponses: 38
Affichages: 4 179
Note0 / 5
29/10/2023,
16h35
Infinis et dénombrement
Liet Kynes, 12/10/2023, 18h51,
Réponses: 47
Affichages: 3 404
Note0 / 5
20/10/2023,
23h08
tiers exclu
ilelogique, 19/09/2023, 18h59,
Réponses: 16
Affichages: 3 105
Note0 / 5
24/09/2023,
20h31
Un ensemble que je ne comprend pas
amineyasmine, 10/09/2023, 00h31,
Réponses: 45
Affichages: 4 519
Note0 / 5
18/09/2023,
08h42
Ensemble N......
Duffman, 26/08/2023, 01h51,
Réponses: 16
Affichages: 2 834
Note0 / 5
27/08/2023,
20h38
Déduction naturelle vs Calcul des séquents
sunyata, 24/07/2023, 19h30,
Réponses: 1
Affichages: 3 194
Note0 / 5
25/07/2023,
22h55
Dénomination .
Duffman, 10/07/2023, 05h48,
Réponses: 95
Affichages: 8 442
Note0 / 5
23/07/2023,
22h52
Table de vérité
BIG136, 05/07/2023, 08h24,
Réponses: 4
Affichages: 2 873
Note0 / 5
05/07/2023,
14h06
vrai et démontrable
ilelogique, 03/04/2023, 19h22,
Réponses: 50
Affichages: 5 576
Note0 / 5
29/06/2023,
18h50
Logique basique LPO, Méthode de résolution de Robinson (avec principe de réfutation)
MisterM123, 09/05/2023, 12h46,
Réponses: 1
Affichages: 3 435
Note0 / 5
09/05/2023,
14h19
famille libre / liée, de vecteurs et consistance / inconsistance d'une théorie.
Anonyme007, 15/04/2023, 04h52,
Réponses: 24
Affichages: 3 708
Note0 / 5
26/04/2023,
23h45
Relation R d'équivalence
BIG136, 21/03/2023, 19h39,
Réponses: 3
Affichages: 3 205
Note0 / 5
22/03/2023,
07h34
Problème d'induction structurelle
CotteB, 03/03/2023, 16h16,
Réponses: 9
Affichages: 3 521
Note0 / 5
09/03/2023,
18h12
Syracuse formule impaire/impaire
Liet Kynes, 02/03/2023, 19h26,
Réponses: 2
Affichages: 2 933
Note0 / 5
02/03/2023,
20h17
La logique
Medaiich, 10/01/2023, 15h45,
Réponses: 1
Affichages: 3 541
Note0 / 5
10/01/2023,
16h28
"Mais" est-il une conjonction dans le cas présent ?
Sapiens1007, 27/05/2022, 05h51,
Réponses: 13
Affichages: 4 765
Note0 / 5
10/01/2023,
12h20
Question comme ça...
Lt Columbo, 12/08/2022, 05h27,
Réponses: 27
Affichages: 4 821
Note0 / 5
09/01/2023,
13h43
Un peu de logique booléenne...
5t3ph, 31/12/2022, 00h37,
Réponses: 4
Affichages: 3 288
Note0 / 5
01/01/2023,
14h52
Inférence bayésienne du taux de probabilité d'abiogénese sur un corps à haut IST
michaelbrrcs, 24/12/2022, 15h15,
Réponses: 2
Affichages: 3 242
Note0 / 5
24/12/2022,
19h40
Métathéorème, théorème d’ordre 1 ou d’ordre supérieur ?
Tomlindo, 14/11/2022, 20h45,
Réponses: 1
Affichages: 3 450
Note0 / 5
09/12/2022,
14h13
démonstration de logique classique (trivial ?)
christianautodidacte, 27/03/2022, 23h40,
Réponses: 8
Affichages: 5 074
Note0 / 5
28/09/2022,
00h49
Quels sont les principes qui régissent les règles de formation ?
Alain2021, 25/08/2022, 06h43,
Réponses: 15
Affichages: 4 030
Note0 / 5
02/09/2022,
18h13
quel est le principe logique transgressé ?
Alain2021, 15/08/2022, 16h26,
Réponses: 14
Affichages: 3 816
Note0 / 5
16/08/2022,
20h08
les "non-ensembles"
MissJenny, 17/06/2022, 10h57,
Réponses: 23
Affichages: 4 424
Note0 / 5
22/06/2022,
13h17
Théorie des champs ordonnés
Nini42, 09/05/2022, 19h18,
Réponses: 8
Affichages: 4 003
Note0 / 5
16/05/2022,
16h55
A quelles conditions deux énoncés sont-ils cohérents ?
Alain2021, 16/03/2022, 11h30,
Réponses: 17
Affichages: 4 918
Note0 / 5
18/03/2022,
12h48
Intégrammes
Olivierlamy, 15/03/2022, 19h50,
Réponses: 2
Affichages: 4 212
Note0 / 5
17/03/2022,
10h04
Petite question de vocabulaire sur les predicats
passion math, 04/02/2022, 14h31,
Réponses: 4
Affichages: 4 559
Note0 / 5
06/02/2022,
17h10
propositions prédicats ?
ilelogique, 01/02/2022, 11h02,
Réponses: 20
Affichages: 4 317
Note0 / 5
02/02/2022,
07h35
Np
ilelogique, 28/01/2022, 08h57,
Réponses: 7
Affichages: 4 187
Note0 / 5
30/01/2022,
01h35
Questions relatives à la définition des sciences formelles
Alain2021, 06/01/2022, 15h41,
Réponses: 9
Affichages: 5 392
Note0 / 5
11/01/2022,
10h10
Les mathématiques peuvent-elles exister sans les nombres ?
andretou, 11/04/2021, 13h54,
Réponses: 75
Affichages: 9 352
Note0 / 5
28/12/2021,
20h14
Différence entre épistémique et doxastique
Matmat, 14/12/2021, 15h01,
Réponses: 7
Affichages: 5 076
Note0 / 5
15/12/2021,
16h30
raisonnement: l' induction 'logique' ... et sa validité logique ?
Bounoume, 03/07/2021, 00h15,
Réponses: 24
Affichages: 6 042
Note0 / 5
03/12/2021,
17h36
police logique
ilelogique, 17/11/2021, 09h25,
Réponses: 10
Affichages: 5 244
Note0 / 5
23/11/2021,
00h00
Résolution du paradoxe de l’interrogation surprise
Desi14, 07/11/2021, 15h11,
Réponses: 3
Affichages: 5 069
Note0 / 5
10/11/2021,
08h24
Hilbert, Gödel, Turing, P=NP et calculabilité
ilelogique, 24/09/2021, 21h25,
Réponses: 2
Affichages: 6 892
Note0 / 5
28/09/2021,
14h48
Classes et prédicats unaires.
Anonyme007, 22/09/2021, 19h16,
Réponses: 28
Affichages: 4 866
Note0 / 5
23/09/2021,
16h01
Comment montrer qu'une assertion est fausse ou vraie
invite4f96f434, 20/07/2021, 20h28,
Réponses: 31
Affichages: 12 352
Note0 / 5
26/07/2021,
14h03
Multiplication implicite de la métamathématique
AdrienMaths, 10/07/2021, 22h49,
Réponses: 2
Affichages: 4 934
Note0 / 5
11/07/2021,
23h36
Peut on modéliser n'importe quoi par une fonction ?
Newtonien, 07/07/2021, 22h16,
Réponses: 11
Affichages: 4 524
Note0 / 5
09/07/2021,
23h33
Un énoncé indécidable dans l'arithmétique de Peano mais démontrable dans une autre théorie ?
andretou, 21/06/2021, 14h26,
Réponses: 4
Affichages: 4 457
Note0 / 5
02/07/2021,
10h09
Exercice Logique
invitec330fabf, 25/06/2021, 09h13,
Réponses: 3
Affichages: 4 438
Note0 / 5
27/06/2021,
13h53
Quelles sont les théories capables de démontrer les théorèmes de base de l'arithmétique ?
andretou, 22/06/2021, 15h44,
Réponses: 25
Affichages: 4 526
Note0 / 5
24/06/2021,
16h44
Arithmétique de Peano du premier ordre
Médiat, 31/05/2021, 12h22,
Réponses: 152
Affichages: 9 531
Note0 / 5
07/06/2021,
13h50
Les algorithmes permettent-ils de fabriquer automatiquement des théorèmes ?
andretou, 18/05/2021, 22h20,
Réponses: 243
Affichages: 11 570
Note0 / 5
31/05/2021,
11h28
Exposition par zéro ou par le néant ?
invite602ca698, 15/04/2021, 17h36,
Réponses: 51
Affichages: 6 583
Note0 / 5
16/04/2021,
15h44
Nécessaire et Possible
BIG136, 08/04/2021, 09h04,
Réponses: 21
Affichages: 4 720
Note0 / 5
10/04/2021,
22h45
Logique intuitioniste
Merlin95, 03/04/2021, 01h21,
Réponses: 15
Affichages: 4 953
Note0 / 5
03/04/2021,
22h14
Equivalence
BIG136, 30/03/2021, 09h03,
Réponses: 5
Affichages: 4 293
Note0 / 5
30/03/2021,
10h52
Quel est le contraire de "Etre ou ne pas être" ?
andretou, 16/03/2021, 11h23,
Réponses: 15
Affichages: 5 399
Note0 / 5
21/03/2021,
16h36
Déplacé :
Décès d'Ansset
L’équipe du forum, 04/03/2021, 23h27,
Note0 / 5
Logique
invite46e55763, 22/02/2021, 01h59,
Réponses: 2
Affichages: 4 854
Note0 / 5
22/02/2021,
20h42
Informations et options du forum
Modérateurs de ce forum
Publicité