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:
442 645
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: 630
Note0 / 5
30/04/2024,
11h06
Conseils pour débutants/ témoignages.
DidierGustin, 27/04/2024, 15h10,
Réponses: 5
Affichages: 313
Note0 / 5
30/04/2024,
08h16
Les théories du négligeable.
Jmlesfrites, 24/03/2024, 19h05,
Réponses: 9
Affichages: 1 216
Note0 / 5
28/03/2024,
18h09
Conseil étude de la logique
ThM55, 17/02/2024, 17h29,
Réponses: 4
Affichages: 1 355
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 144
Note0 / 5
25/01/2024,
06h34
Théorie des modèles et nombres complexes.
Anonyme007, 17/05/2023, 18h40,
Réponses: 53
Affichages: 3 866
Note0 / 5
14/01/2024,
17h49
Négation d'une proposition
Abdellah7, 07/12/2023, 12h45,
Réponses: 10
Affichages: 1 390
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 009
Note0 / 5
11/12/2023,
13h10
l'ensemble des cardinaux des ensembles infinis
amineyasmine, 05/09/2023, 21h58,
Réponses: 29
Affichages: 1 968
Note0 / 5
01/12/2023,
06h49
un axiome forcé
amineyasmine, 31/08/2023, 22h55,
Réponses: 40
Affichages: 2 672
Note0 / 5
06/11/2023,
22h59
Multivers ensembliste
Liet Kynes, 02/10/2023, 06h48,
Réponses: 38
Affichages: 2 433
Note0 / 5
29/10/2023,
15h35
Infinis et dénombrement
Liet Kynes, 12/10/2023, 17h51,
Réponses: 47
Affichages: 1 857
Note0 / 5
20/10/2023,
22h08
tiers exclu
ilelogique, 19/09/2023, 17h59,
Réponses: 16
Affichages: 1 793
Note0 / 5
24/09/2023,
19h31
Un ensemble que je ne comprend pas
amineyasmine, 09/09/2023, 23h31,
Réponses: 45
Affichages: 3 107
Note0 / 5
18/09/2023,
07h42
Ensemble N......
Duffman, 26/08/2023, 00h51,
Réponses: 16
Affichages: 1 604
Note0 / 5
27/08/2023,
19h38
Déduction naturelle vs Calcul des séquents
sunyata, 24/07/2023, 18h30,
Réponses: 1
Affichages: 1 443
Note0 / 5
25/07/2023,
21h55
Dénomination .
Duffman, 10/07/2023, 04h48,
Réponses: 95
Affichages: 5 503
Note0 / 5
23/07/2023,
21h52
Table de vérité
BIG136, 05/07/2023, 07h24,
Réponses: 4
Affichages: 1 553
Note0 / 5
05/07/2023,
13h06
vrai et démontrable
ilelogique, 03/04/2023, 18h22,
Réponses: 50
Affichages: 3 873
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 658
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 167
Note0 / 5
26/04/2023,
22h45
Relation R d'équivalence
BIG136, 21/03/2023, 18h39,
Réponses: 3
Affichages: 1 750
Note0 / 5
22/03/2023,
06h34
Problème d'induction structurelle
CotteB, 03/03/2023, 15h16,
Réponses: 9
Affichages: 2 064
Note0 / 5
09/03/2023,
17h12
Syracuse formule impaire/impaire
Liet Kynes, 02/03/2023, 18h26,
Réponses: 2
Affichages: 1 778
Note0 / 5
02/03/2023,
19h17
La logique
Medaiich, 10/01/2023, 14h45,
Réponses: 1
Affichages: 2 405
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 211
Note0 / 5
10/01/2023,
11h20
Question comme ça...
Lt Columbo, 12/08/2022, 04h27,
Réponses: 27
Affichages: 3 624
Note0 / 5
09/01/2023,
12h43
Un peu de logique booléenne...
5t3ph, 30/12/2022, 23h37,
Réponses: 4
Affichages: 2 185
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 763
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 026
Note0 / 5
09/12/2022,
13h13
démonstration de logique classique (trivial ?)
christianautodidacte, 27/03/2022, 22h40,
Réponses: 8
Affichages: 3 864
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 609
Note0 / 5
02/09/2022,
17h13
quel est le principe logique transgressé ?
Alain2021, 15/08/2022, 15h26,
Réponses: 14
Affichages: 2 318
Note0 / 5
16/08/2022,
19h08
les "non-ensembles"
MissJenny, 17/06/2022, 09h57,
Réponses: 23
Affichages: 3 195
Note0 / 5
22/06/2022,
12h17
Théorie des champs ordonnés
Nini42, 09/05/2022, 18h18,
Réponses: 8
Affichages: 2 856
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 161
Note0 / 5
18/03/2022,
11h48
Intégrammes
Olivierlamy, 15/03/2022, 18h50,
Réponses: 2
Affichages: 2 983
Note0 / 5
17/03/2022,
09h04
Petite question de vocabulaire sur les predicats
passion math, 04/02/2022, 13h31,
Réponses: 4
Affichages: 3 410
Note0 / 5
06/02/2022,
16h10
propositions prédicats ?
ilelogique, 01/02/2022, 10h02,
Réponses: 20
Affichages: 3 112
Note0 / 5
02/02/2022,
06h35
Np
ilelogique, 28/01/2022, 07h57,
Réponses: 7
Affichages: 2 969
Note0 / 5
30/01/2022,
00h35
Questions relatives à la définition des sciences formelles
Alain2021, 06/01/2022, 14h41,
Réponses: 9
Affichages: 4 063
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 659
Note0 / 5
28/12/2021,
19h14
Différence entre épistémique et doxastique
Matmat, 14/12/2021, 14h01,
Réponses: 7
Affichages: 3 729
Note0 / 5
15/12/2021,
15h30
raisonnement: l' induction 'logique' ... et sa validité logique ?
Bounoume, 02/07/2021, 23h15,
Réponses: 24
Affichages: 4 718
Note0 / 5
03/12/2021,
16h36
police logique
ilelogique, 17/11/2021, 08h25,
Réponses: 10
Affichages: 4 000
Note0 / 5
22/11/2021,
23h00
Résolution du paradoxe de l’interrogation surprise
Desi14, 07/11/2021, 14h11,
Réponses: 3
Affichages: 3 866
Note0 / 5
10/11/2021,
07h24
Hilbert, Gödel, Turing, P=NP et calculabilité
ilelogique, 24/09/2021, 20h25,
Réponses: 2
Affichages: 5 667
Note0 / 5
28/09/2021,
13h48
Classes et prédicats unaires.
Anonyme007, 22/09/2021, 18h16,
Réponses: 28
Affichages: 3 553
Note0 / 5
23/09/2021,
15h01
à propos de P=NP
ilelogique, 20/08/2021, 08h58,
Réponses: 57
Affichages: 8 090
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 593
Note0 / 5
26/07/2021,
13h03
Multiplication implicite de la métamathématique
AdrienMaths, 10/07/2021, 21h49,
Réponses: 2
Affichages: 3 534
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 672
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 586
Note0 / 5
02/07/2021,
09h09
Exercice Logique
Steinbeck, 25/06/2021, 08h13,
Réponses: 3
Affichages: 3 599
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 698
Note0 / 5
24/06/2021,
15h44
Arithmétique de Peano du premier ordre
Médiat, 31/05/2021, 11h22,
Réponses: 152
Affichages: 7 975
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 724
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 452
Note0 / 5
16/04/2021,
14h44
Nécessaire et Possible
BIG136, 08/04/2021, 08h04,
Réponses: 21
Affichages: 3 825
Note0 / 5
10/04/2021,
21h45
Logique intuitioniste
Merlin95, 03/04/2021, 00h21,
Réponses: 15
Affichages: 4 120
Note0 / 5
03/04/2021,
21h14
Equivalence
BIG136, 30/03/2021, 08h03,
Réponses: 5
Affichages: 3 477
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 502
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 015
Note0 / 5
22/02/2021,
19h42
L'assemblage de l'ensemble vide selon Bourbaki
nerub, 09/02/2021, 01h01,
Réponses: 37
Affichages: 7 056
Note0 / 5
12/02/2021,
08h04
Le langage de base
invite84127968, 23/01/2020, 06h38,
Réponses: 17
Affichages: 7 005
Note0 / 5
10/12/2020,
19h05
La négation ¬p
mathieu785, 20/10/2020, 16h15,
Réponses: 11
Affichages: 4 879
Note0 / 5
28/11/2020,
19h13
Paradoxe algorithmique, problème de l'arrêt
vincent2303, 28/11/2020, 01h40,
Réponses: 11
Affichages: 4 231
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 836
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 227
Note0 / 5
14/10/2020,
08h26
Théorie des ensembles: approche
Liet Kynes, 17/02/2020, 07h44,
Réponses: 155
Affichages: 12 653
Note0 / 5
12/10/2020,
18h41
Hiérarchie cumulative de von Neumann
Liet Kynes, 03/10/2020, 11h33,
Réponses: 59
Affichages: 6 586
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 741
Note0 / 5
01/10/2020,
16h29
Axiome des parties
Médiat, 09/09/2020, 22h20,
Réponses: 81
Affichages: 6 956
Note0 / 5
30/09/2020,
10h47
Informations et options du forum
Modérateurs de ce forum