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:
439 504
Ouvrir une nouvelle discussion
Page 1 sur 2
1
Dernière
Aller à la page:
Affichage des discussions 1 à 75 sur 103
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
Problème Logique de Comptage.
0riGin, 29/04/2024, 02h54,
Réponses: 30
Affichages: 448
Note0 / 5
30/04/2024,
11h06
Conseils pour débutants/ témoignages.
DidierGustin, 27/04/2024, 15h10,
Réponses: 5
Affichages: 249
Note0 / 5
30/04/2024,
08h16
Les théories du négligeable.
Jmlesfrites, 24/03/2024, 19h05,
Réponses: 9
Affichages: 1 151
Note0 / 5
28/03/2024,
18h09
Conseil étude de la logique
ThM55, 17/02/2024, 17h29,
Réponses: 4
Affichages: 1 299
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 083
Note0 / 5
25/01/2024,
06h34
Théorie des modèles et nombres complexes.
Anonyme007, 17/05/2023, 18h40,
Réponses: 53
Affichages: 3 801
Note0 / 5
14/01/2024,
17h49
Négation d'une proposition
Abdellah7, 07/12/2023, 12h45,
Réponses: 10
Affichages: 1 336
Note0 / 5
18/12/2023,
19h38
Définition des nombres réels par 3 constantes
AdrienMaths, 11/12/2023, 08h52,
Réponses: 3
Affichages: 952
Note0 / 5
11/12/2023,
13h10
l'ensemble des cardinaux des ensembles infinis
amineyasmine, 05/09/2023, 21h58,
Réponses: 29
Affichages: 1 901
Note0 / 5
01/12/2023,
06h49
un axiome forcé
amineyasmine, 31/08/2023, 22h55,
Réponses: 40
Affichages: 2 608
Note0 / 5
06/11/2023,
22h59
Multivers ensembliste
Liet Kynes, 02/10/2023, 06h48,
Réponses: 38
Affichages: 2 360
Note0 / 5
29/10/2023,
15h35
Infinis et dénombrement
Liet Kynes, 12/10/2023, 17h51,
Réponses: 47
Affichages: 1 801
Note0 / 5
20/10/2023,
22h08
tiers exclu
ilelogique, 19/09/2023, 17h59,
Réponses: 16
Affichages: 1 739
Note0 / 5
24/09/2023,
19h31
Un ensemble que je ne comprend pas
amineyasmine, 09/09/2023, 23h31,
Réponses: 45
Affichages: 3 050
Note0 / 5
18/09/2023,
07h42
Ensemble N......
Duffman, 26/08/2023, 00h51,
Réponses: 16
Affichages: 1 530
Note0 / 5
27/08/2023,
19h38
Déduction naturelle vs Calcul des séquents
sunyata, 24/07/2023, 18h30,
Réponses: 1
Affichages: 1 389
Note0 / 5
25/07/2023,
21h55
Dénomination .
Duffman, 10/07/2023, 04h48,
Réponses: 95
Affichages: 5 433
Note0 / 5
23/07/2023,
21h52
Table de vérité
BIG136, 05/07/2023, 07h24,
Réponses: 4
Affichages: 1 500
Note0 / 5
05/07/2023,
13h06
vrai et démontrable
ilelogique, 03/04/2023, 18h22,
Réponses: 50
Affichages: 3 818
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 588
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 103
Note0 / 5
26/04/2023,
22h45
Relation R d'équivalence
BIG136, 21/03/2023, 18h39,
Réponses: 3
Affichages: 1 684
Note0 / 5
22/03/2023,
06h34
Problème d'induction structurelle
CotteB, 03/03/2023, 15h16,
Réponses: 9
Affichages: 2 013
Note0 / 5
09/03/2023,
17h12
Syracuse formule impaire/impaire
Liet Kynes, 02/03/2023, 18h26,
Réponses: 2
Affichages: 1 724
Note0 / 5
02/03/2023,
19h17
La logique
Medaiich, 10/01/2023, 14h45,
Réponses: 1
Affichages: 2 345
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 158
Note0 / 5
10/01/2023,
11h20
Question comme ça...
Lt Columbo, 12/08/2022, 04h27,
Réponses: 27
Affichages: 3 570
Note0 / 5
09/01/2023,
12h43
Un peu de logique booléenne...
5t3ph, 30/12/2022, 23h37,
Réponses: 4
Affichages: 2 133
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 707
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 972
Note0 / 5
09/12/2022,
13h13
démonstration de logique classique (trivial ?)
christianautodidacte, 27/03/2022, 22h40,
Réponses: 8
Affichages: 3 812
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 557
Note0 / 5
02/09/2022,
17h13
quel est le principe logique transgressé ?
Alain2021, 15/08/2022, 15h26,
Réponses: 14
Affichages: 2 265
Note0 / 5
16/08/2022,
19h08
les "non-ensembles"
MissJenny, 17/06/2022, 09h57,
Réponses: 23
Affichages: 3 137
Note0 / 5
22/06/2022,
12h17
Théorie des champs ordonnés
Nini42, 09/05/2022, 18h18,
Réponses: 8
Affichages: 2 802
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 101
Note0 / 5
18/03/2022,
11h48
Intégrammes
Olivierlamy, 15/03/2022, 18h50,
Réponses: 2
Affichages: 2 925
Note0 / 5
17/03/2022,
09h04
Petite question de vocabulaire sur les predicats
passion math, 04/02/2022, 13h31,
Réponses: 4
Affichages: 3 350
Note0 / 5
06/02/2022,
16h10
propositions prédicats ?
ilelogique, 01/02/2022, 10h02,
Réponses: 20
Affichages: 3 052
Note0 / 5
02/02/2022,
06h35
Np
ilelogique, 28/01/2022, 07h57,
Réponses: 7
Affichages: 2 913
Note0 / 5
30/01/2022,
00h35
Questions relatives à la définition des sciences formelles
Alain2021, 06/01/2022, 14h41,
Réponses: 9
Affichages: 4 005
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 595
Note0 / 5
28/12/2021,
19h14
Différence entre épistémique et doxastique
Matmat, 14/12/2021, 14h01,
Réponses: 7
Affichages: 3 659
Note0 / 5
15/12/2021,
15h30
raisonnement: l' induction 'logique' ... et sa validité logique ?
Bounoume, 02/07/2021, 23h15,
Réponses: 24
Affichages: 4 664
Note0 / 5
03/12/2021,
16h36
police logique
ilelogique, 17/11/2021, 08h25,
Réponses: 10
Affichages: 3 944
Note0 / 5
22/11/2021,
23h00
Résolution du paradoxe de l’interrogation surprise
Desi14, 07/11/2021, 14h11,
Réponses: 3
Affichages: 3 812
Note0 / 5
10/11/2021,
07h24
Hilbert, Gödel, Turing, P=NP et calculabilité
ilelogique, 24/09/2021, 20h25,
Réponses: 2
Affichages: 5 612
Note0 / 5
28/09/2021,
13h48
Classes et prédicats unaires.
Anonyme007, 22/09/2021, 18h16,
Réponses: 28
Affichages: 3 496
Note0 / 5
23/09/2021,
15h01
à propos de P=NP
ilelogique, 20/08/2021, 08h58,
Réponses: 57
Affichages: 8 028
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 513
Note0 / 5
26/07/2021,
13h03
Multiplication implicite de la métamathématique
AdrienMaths, 10/07/2021, 21h49,
Réponses: 2
Affichages: 3 481
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 614
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 529
Note0 / 5
02/07/2021,
09h09
Exercice Logique
Steinbeck, 25/06/2021, 08h13,
Réponses: 3
Affichages: 3 539
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 639
Note0 / 5
24/06/2021,
15h44
Arithmétique de Peano du premier ordre
Médiat, 31/05/2021, 11h22,
Réponses: 152
Affichages: 7 902
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 623
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 383
Note0 / 5
16/04/2021,
14h44
Nécessaire et Possible
BIG136, 08/04/2021, 08h04,
Réponses: 21
Affichages: 3 757
Note0 / 5
10/04/2021,
21h45
Logique intuitioniste
Merlin95, 03/04/2021, 00h21,
Réponses: 15
Affichages: 4 054
Note0 / 5
03/04/2021,
21h14
Equivalence
BIG136, 30/03/2021, 08h03,
Réponses: 5
Affichages: 3 410
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 430
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 951
Note0 / 5
22/02/2021,
19h42
L'assemblage de l'ensemble vide selon Bourbaki
nerub, 09/02/2021, 01h01,
Réponses: 37
Affichages: 6 981
Note0 / 5
12/02/2021,
08h04
Le langage de base
invite84127968, 23/01/2020, 06h38,
Réponses: 17
Affichages: 6 937
Note0 / 5
10/12/2020,
19h05
La négation ¬p
mathieu785, 20/10/2020, 16h15,
Réponses: 11
Affichages: 4 815
Note0 / 5
28/11/2020,
19h13
Paradoxe algorithmique, problème de l'arrêt
vincent2303, 28/11/2020, 01h40,
Réponses: 11
Affichages: 4 162
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 761
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 152
Note0 / 5
14/10/2020,
08h26
Théorie des ensembles: approche
Liet Kynes, 17/02/2020, 07h44,
Réponses: 155
Affichages: 12 552
Note0 / 5
12/10/2020,
18h41
Hiérarchie cumulative de von Neumann
Liet Kynes, 03/10/2020, 11h33,
Réponses: 59
Affichages: 6 512
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 672
Note0 / 5
01/10/2020,
16h29
Axiome des parties
Médiat, 09/09/2020, 22h20,
Réponses: 81
Affichages: 6 885
Note0 / 5
30/09/2020,
10h47
Informations et options du forum
Modérateurs de ce forum