Se souvenir de moi ?
Retour sur Futura
S'inscrire
Forum
Futura-Sciences : les forums de la science
MATHEMATIQUES
Logique
Annonce:
Discussions Covid-19
L’équipe du forum
05/04/2020
Affichages:
411 289
Ouvrir une nouvelle discussion
Page 1 sur 2
1
Dernière
Aller à la page:
Affichage des discussions 1 à 75 sur 100
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
Conseil étude de la logique
ThM55, 17/02/2024, 18h29,
Réponses: 4
Affichages: 978
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: 1 834
Note0 / 5
25/01/2024,
07h34
Théorie des modèles et nombres complexes.
Anonyme007, 17/05/2023, 19h40,
Réponses: 53
Affichages: 3 594
Note0 / 5
14/01/2024,
18h49
Négation d'une proposition
Abdellah7, 07/12/2023, 13h45,
Réponses: 10
Affichages: 1 140
Note0 / 5
18/12/2023,
20h38
Définition des nombres réels par 3 constantes
AdrienMaths, 11/12/2023, 09h52,
Réponses: 3
Affichages: 770
Note0 / 5
11/12/2023,
14h10
l'ensemble des cardinaux des ensembles infinis
amineyasmine, 05/09/2023, 22h58,
Réponses: 29
Affichages: 1 718
Note0 / 5
01/12/2023,
07h49
un axiome forcé
amineyasmine, 31/08/2023, 23h55,
Réponses: 40
Affichages: 2 412
Note0 / 5
06/11/2023,
23h59
Multivers ensembliste
Liet Kynes, 02/10/2023, 07h48,
Réponses: 38
Affichages: 2 182
Note0 / 5
29/10/2023,
16h35
Infinis et dénombrement
Liet Kynes, 12/10/2023, 18h51,
Réponses: 47
Affichages: 1 606
Note0 / 5
20/10/2023,
23h08
tiers exclu
ilelogique, 19/09/2023, 18h59,
Réponses: 16
Affichages: 1 576
Note0 / 5
24/09/2023,
20h31
Un ensemble que je ne comprend pas
amineyasmine, 10/09/2023, 00h31,
Réponses: 45
Affichages: 2 876
Note0 / 5
18/09/2023,
08h42
Ensemble N......
Duffman, 26/08/2023, 01h51,
Réponses: 16
Affichages: 1 366
Note0 / 5
27/08/2023,
20h38
Déduction naturelle vs Calcul des séquents
sunyata, 24/07/2023, 19h30,
Réponses: 1
Affichages: 1 227
Note0 / 5
25/07/2023,
22h55
Dénomination .
Duffman, 10/07/2023, 05h48,
Réponses: 95
Affichages: 5 233
Note0 / 5
23/07/2023,
22h52
Table de vérité
BIG136, 05/07/2023, 08h24,
Réponses: 4
Affichages: 1 327
Note0 / 5
05/07/2023,
14h06
vrai et démontrable
ilelogique, 03/04/2023, 19h22,
Réponses: 50
Affichages: 3 562
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: 1 424
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: 1 942
Note0 / 5
26/04/2023,
23h45
Relation R d'équivalence
BIG136, 21/03/2023, 19h39,
Réponses: 3
Affichages: 1 531
Note0 / 5
22/03/2023,
07h34
Problème d'induction structurelle
CotteB, 03/03/2023, 16h16,
Réponses: 9
Affichages: 1 853
Note0 / 5
09/03/2023,
18h12
Syracuse formule impaire/impaire
Liet Kynes, 02/03/2023, 19h26,
Réponses: 2
Affichages: 1 569
Note0 / 5
02/03/2023,
20h17
La logique
Medaiich, 10/01/2023, 15h45,
Réponses: 1
Affichages: 2 191
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: 3 010
Note0 / 5
10/01/2023,
12h20
Question comme ça...
Lt Columbo, 12/08/2022, 05h27,
Réponses: 27
Affichages: 3 392
Note0 / 5
09/01/2023,
13h43
Un peu de logique booléenne...
5t3ph, 31/12/2022, 00h37,
Réponses: 4
Affichages: 1 981
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: 1 535
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: 1 817
Note0 / 5
09/12/2022,
14h13
démonstration de logique classique (trivial ?)
christianautodidacte, 27/03/2022, 23h40,
Réponses: 8
Affichages: 3 658
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: 2 407
Note0 / 5
02/09/2022,
18h13
quel est le principe logique transgressé ?
Alain2021, 15/08/2022, 16h26,
Réponses: 14
Affichages: 2 115
Note0 / 5
16/08/2022,
20h08
les "non-ensembles"
MissJenny, 17/06/2022, 10h57,
Réponses: 23
Affichages: 2 981
Note0 / 5
22/06/2022,
13h17
Théorie des champs ordonnés
Nini42, 09/05/2022, 19h18,
Réponses: 8
Affichages: 2 646
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: 2 948
Note0 / 5
18/03/2022,
12h48
Intégrammes
Olivierlamy, 15/03/2022, 19h50,
Réponses: 2
Affichages: 2 754
Note0 / 5
17/03/2022,
10h04
Petite question de vocabulaire sur les predicats
passion math, 04/02/2022, 14h31,
Réponses: 4
Affichages: 3 197
Note0 / 5
06/02/2022,
17h10
propositions prédicats ?
ilelogique, 01/02/2022, 11h02,
Réponses: 20
Affichages: 2 890
Note0 / 5
02/02/2022,
07h35
Np
ilelogique, 28/01/2022, 08h57,
Réponses: 7
Affichages: 2 754
Note0 / 5
30/01/2022,
01h35
Questions relatives à la définition des sciences formelles
Alain2021, 06/01/2022, 15h41,
Réponses: 9
Affichages: 3 792
Note0 / 5
11/01/2022,
10h10
Les mathématiques peuvent-elles exister sans les nombres ?
andretou, 11/04/2021, 13h54,
Réponses: 75
Affichages: 7 407
Note0 / 5
28/12/2021,
20h14
Différence entre épistémique et doxastique
Matmat, 14/12/2021, 15h01,
Réponses: 7
Affichages: 3 484
Note0 / 5
15/12/2021,
16h30
raisonnement: l' induction 'logique' ... et sa validité logique ?
Bounoume, 03/07/2021, 00h15,
Réponses: 24
Affichages: 4 506
Note0 / 5
03/12/2021,
17h36
police logique
ilelogique, 17/11/2021, 09h25,
Réponses: 10
Affichages: 3 794
Note0 / 5
23/11/2021,
00h00
Résolution du paradoxe de l’interrogation surprise
Desi14, 07/11/2021, 15h11,
Réponses: 3
Affichages: 3 652
Note0 / 5
10/11/2021,
08h24
Hilbert, Gödel, Turing, P=NP et calculabilité
ilelogique, 24/09/2021, 21h25,
Réponses: 2
Affichages: 5 459
Note0 / 5
28/09/2021,
14h48
Classes et prédicats unaires.
Anonyme007, 22/09/2021, 19h16,
Réponses: 28
Affichages: 3 344
Note0 / 5
23/09/2021,
16h01
à propos de P=NP
ilelogique, 20/08/2021, 09h58,
Réponses: 57
Affichages: 7 839
Note0 / 5
25/08/2021,
08h28
Comment montrer qu'une assertion est fausse ou vraie
Mameu, 20/07/2021, 20h28,
Réponses: 31
Affichages: 9 227
Note0 / 5
26/07/2021,
14h03
Multiplication implicite de la métamathématique
AdrienMaths, 10/07/2021, 22h49,
Réponses: 2
Affichages: 3 330
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: 3 458
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: 3 357
Note0 / 5
02/07/2021,
10h09
Exercice Logique
Steinbeck, 25/06/2021, 09h13,
Réponses: 3
Affichages: 3 389
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: 3 482
Note0 / 5
24/06/2021,
16h44
Arithmétique de Peano du premier ordre
Médiat, 31/05/2021, 12h22,
Réponses: 152
Affichages: 7 681
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: 9 295
Note0 / 5
31/05/2021,
11h28
Exposition par zéro ou par le néant ?
OmegaSigmaDelta, 15/04/2021, 17h36,
Réponses: 51
Affichages: 5 172
Note0 / 5
16/04/2021,
15h44
Nécessaire et Possible
BIG136, 08/04/2021, 09h04,
Réponses: 21
Affichages: 3 581
Note0 / 5
10/04/2021,
22h45
Logique intuitioniste
Merlin95, 03/04/2021, 01h21,
Réponses: 15
Affichages: 3 869
Note0 / 5
03/04/2021,
22h14
Equivalence
BIG136, 30/03/2021, 09h03,
Réponses: 5
Affichages: 3 229
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: 4 240
Note0 / 5
21/03/2021,
16h36
Déplacé :
Décès d'Ansset
L’équipe du forum, 04/03/2021, 23h27,
Note0 / 5
Logique
MrX1, 22/02/2021, 01h59,
Réponses: 2
Affichages: 3 768
Note0 / 5
22/02/2021,
20h42
L'assemblage de l'ensemble vide selon Bourbaki
nerub, 09/02/2021, 02h01,
Réponses: 37
Affichages: 6 738
Note0 / 5
12/02/2021,
09h04
Le langage de base
invite84127968, 23/01/2020, 07h38,
Réponses: 17
Affichages: 6 761
Note0 / 5
10/12/2020,
20h05
La négation ¬p
mathieu785, 20/10/2020, 17h15,
Réponses: 11
Affichages: 4 631
Note0 / 5
28/11/2020,
20h13
Paradoxe algorithmique, problème de l'arrêt
vincent2303, 28/11/2020, 02h40,
Réponses: 11
Affichages: 3 963
Note0 / 5
28/11/2020,
17h46
Et s'il y avait 2 fois plus d'entiers que d'entiers pairs ?
andretou, 15/10/2020, 15h56,
Réponses: 71
Affichages: 6 545
Note0 / 5
27/11/2020,
16h52
Déplacé :
Comment définir la longueur d'une ligne..?
alamatasod, 01/11/2020, 07h36,
Note0 / 5
L'hotel infini est accueillant
ornithology, 13/10/2020, 18h03,
Réponses: 2
Affichages: 3 964
Note0 / 5
14/10/2020,
09h26
Théorie des ensembles: approche
Liet Kynes, 17/02/2020, 08h44,
Réponses: 155
Affichages: 12 252
Note0 / 5
12/10/2020,
19h41
Hiérarchie cumulative de von Neumann
Liet Kynes, 03/10/2020, 12h33,
Réponses: 59
Affichages: 6 293
Note0 / 5
10/10/2020,
11h30
Quelle est la valeur logique de la notion mathématique d'"ensemble" ?
aygline, 28/09/2020, 11h30,
Réponses: 24
Affichages: 4 476
Note0 / 5
01/10/2020,
17h29
Axiome des parties
Médiat, 09/09/2020, 23h20,
Réponses: 81
Affichages: 6 671
Note0 / 5
30/09/2020,
11h47
sémantique générale et approche non-aristotelicienne
Christian Arnaud, 28/07/2020, 11h52,
Réponses: 54
Affichages: 8 872
Note0 / 5
05/08/2020,
11h20
La logique appliquée au chat de Schroedinger
Leradicator, 24/07/2020, 17h31,
Réponses: 16
Affichages: 4 713
Note0 / 5
02/08/2020,
16h54
Sondage :
La Logique est-elle ? :
Merlin95, 16/07/2020, 02h04,
Réponses: 1
Affichages: 4 043
Note0 / 5
16/07/2020,
07h31
Informations et options du forum
Modérateurs de ce forum