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:
335 516
Ouvrir une nouvelle discussion
Page 1 sur 2
1
Dernière
Aller à la page:
Affichage des discussions 1 à 75 sur 82
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
Relation R d'équivalence
BIG136, 21/03/2023, 19h39,
Réponses: 3
Affichages: 134
Note0 / 5
Hier,
07h34
Problème d'induction structurelle
CotteB, 03/03/2023, 16h16,
Réponses: 9
Affichages: 560
Note0 / 5
09/03/2023,
18h12
Syracuse formule impaire/impaire
Liet Kynes, 02/03/2023, 19h26,
Réponses: 2
Affichages: 233
Note0 / 5
02/03/2023,
20h17
La logique
Medaiich, 10/01/2023, 15h45,
Réponses: 1
Affichages: 877
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: 1 730
Note0 / 5
10/01/2023,
12h20
Question comme ça...
Lt Columbo, 12/08/2022, 05h27,
Réponses: 27
Affichages: 2 194
Note0 / 5
09/01/2023,
13h43
Un peu de logique booléenne...
5t3ph, 31/12/2022, 00h37,
Réponses: 4
Affichages: 597
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: 399
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: 737
Note0 / 5
09/12/2022,
14h13
démonstration de logique classique (trivial ?)
christianautodidacte, 27/03/2022, 23h40,
Réponses: 8
Affichages: 2 410
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: 1 218
Note0 / 5
02/09/2022,
18h13
quel est le principe logique transgressé ?
Alain2021, 15/08/2022, 16h26,
Réponses: 14
Affichages: 1 009
Note0 / 5
16/08/2022,
20h08
les "non-ensembles"
MissJenny, 17/06/2022, 10h57,
Réponses: 23
Affichages: 1 790
Note0 / 5
22/06/2022,
13h17
Théorie des champs ordonnés
Nini42, 09/05/2022, 19h18,
Réponses: 8
Affichages: 1 481
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: 1 650
Note0 / 5
18/03/2022,
12h48
Intégrammes
Olivierlamy, 15/03/2022, 19h50,
Réponses: 2
Affichages: 1 508
Note0 / 5
17/03/2022,
10h04
Petite question de vocabulaire sur les predicats
passion math, 04/02/2022, 14h31,
Réponses: 4
Affichages: 2 046
Note0 / 5
06/02/2022,
17h10
propositions prédicats ?
ilelogique, 01/02/2022, 11h02,
Réponses: 20
Affichages: 1 620
Note0 / 5
02/02/2022,
07h35
Np
ilelogique, 28/01/2022, 08h57,
Réponses: 7
Affichages: 1 521
Note0 / 5
30/01/2022,
01h35
Questions relatives à la définition des sciences formelles
Alain2021, 06/01/2022, 15h41,
Réponses: 9
Affichages: 2 096
Note0 / 5
11/01/2022,
10h10
Les mathématiques peuvent-elles exister sans les nombres ?
andretou, 11/04/2021, 13h54,
Réponses: 75
Affichages: 5 160
Note0 / 5
28/12/2021,
20h14
Différence entre épistémique et doxastique
Matmat, 14/12/2021, 15h01,
Réponses: 7
Affichages: 2 153
Note0 / 5
15/12/2021,
16h30
raisonnement: l' induction 'logique' ... et sa validité logique ?
Bounoume, 03/07/2021, 00h15,
Réponses: 24
Affichages: 3 402
Note0 / 5
03/12/2021,
17h36
police logique
ilelogique, 17/11/2021, 09h25,
Réponses: 10
Affichages: 2 677
Note0 / 5
23/11/2021,
00h00
Résolution du paradoxe de l’interrogation surprise
Desi14, 07/11/2021, 15h11,
Réponses: 3
Affichages: 2 498
Note0 / 5
10/11/2021,
08h24
Hilbert, Gödel, Turing, P=NP et calculabilité
ilelogique, 24/09/2021, 21h25,
Réponses: 2
Affichages: 4 373
Note0 / 5
28/09/2021,
14h48
Classes et prédicats unaires.
Anonyme007, 22/09/2021, 19h16,
Réponses: 28
Affichages: 2 196
Note0 / 5
23/09/2021,
16h01
à propos de P=NP
ilelogique, 20/08/2021, 09h58,
Réponses: 57
Affichages: 5 549
Note0 / 5
25/08/2021,
08h28
Comment montrer qu'une assertion est fausse ou vraie
Mameu, 20/07/2021, 20h28,
Réponses: 31
Affichages: 5 691
Note0 / 5
26/07/2021,
14h03
Multiplication implicite de la métamathématique
AdrienMaths, 10/07/2021, 22h49,
Réponses: 2
Affichages: 2 179
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: 2 323
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: 2 187
Note0 / 5
02/07/2021,
10h09
Exercice Logique
Steinbeck, 25/06/2021, 09h13,
Réponses: 3
Affichages: 2 288
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: 2 325
Note0 / 5
24/06/2021,
16h44
Arithmétique de Peano du premier ordre
Médiat, 31/05/2021, 12h22,
Réponses: 152
Affichages: 5 281
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: 6 489
Note0 / 5
31/05/2021,
11h28
Exposition par zéro ou par le néant ?
OmegaSigmaDelta, 15/04/2021, 17h36,
Réponses: 51
Affichages: 3 289
Note0 / 5
16/04/2021,
15h44
Nécessaire et Possible
BIG136, 08/04/2021, 09h04,
Réponses: 21
Affichages: 2 446
Note0 / 5
10/04/2021,
22h45
Logique intuitioniste
Merlin95, 03/04/2021, 01h21,
Réponses: 15
Affichages: 2 707
Note0 / 5
03/04/2021,
22h14
Equivalence
BIG136, 30/03/2021, 09h03,
Réponses: 5
Affichages: 2 161
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: 3 096
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: 2 653
Note0 / 5
22/02/2021,
20h42
L'assemblage de l'ensemble vide selon Bourbaki
nerub, 09/02/2021, 02h01,
Réponses: 37
Affichages: 4 332
Note0 / 5
12/02/2021,
09h04
Le langage de base
invite84127968, 23/01/2020, 07h38,
Réponses: 17
Affichages: 5 555
Note0 / 5
10/12/2020,
20h05
La négation ¬p
mathieu785, 20/10/2020, 17h15,
Réponses: 11
Affichages: 3 427
Note0 / 5
28/11/2020,
20h13
Paradoxe algorithmique, problème de l'arrêt
vincent2303, 28/11/2020, 02h40,
Réponses: 11
Affichages: 2 791
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: 4 456
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: 2 748
Note0 / 5
14/10/2020,
09h26
Théorie des ensembles: approche
Liet Kynes, 17/02/2020, 08h44,
Réponses: 155
Affichages: 9 342
Note0 / 5
12/10/2020,
19h41
Hiérarchie cumulative de von Neumann
Liet Kynes, 03/10/2020, 12h33,
Réponses: 59
Affichages: 4 165
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: 3 182
Note0 / 5
01/10/2020,
17h29
Axiome des parties
Médiat, 09/09/2020, 23h20,
Réponses: 81
Affichages: 4 652
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: 6 246
Note0 / 5
05/08/2020,
11h20
La logique appliquée au chat de Schroedinger
Leradicator, 24/07/2020, 17h31,
Réponses: 16
Affichages: 3 464
Note0 / 5
02/08/2020,
16h54
Sondage :
La Logique est-elle ? :
Merlin95, 16/07/2020, 02h04,
Réponses: 1
Affichages: 2 941
Note0 / 5
16/07/2020,
07h31
Sciences & Avenir : Infini
Médiat, 07/07/2020, 11h23,
Réponses: 7
Affichages: 3 106
Note0 / 5
07/07/2020,
14h36
Et et ou (ou, ou ou et)
Médiat, 23/06/2020, 13h07,
Réponses: 150
Affichages: 7 171
Note0 / 5
03/07/2020,
21h38
Petite récréation 2
Médiat, 18/06/2020, 11h06,
Réponses: 22
Affichages: 3 263
Note0 / 5
24/06/2020,
10h46
Petite récréation.
Médiat, 02/05/2020, 14h09,
Réponses: 86
Affichages: 5 609
Note0 / 5
15/05/2020,
08h48
Nouvelle classification des entiers naturels
jyboulay, 06/05/2020, 17h15,
Réponses: 1
Affichages: 3 504
Note0 / 5
06/05/2020,
17h24
p=t
ilelogique, 28/04/2020, 19h03,
Réponses: 17
Affichages: 3 265
Note0 / 5
04/05/2020,
08h00
Est-ce qu'une proposition peut donner des conditions sur ce qui l'implique ?
Lien27, 29/03/2020, 00h35,
Réponses: 27
Affichages: 4 162
Note0 / 5
03/05/2020,
20h03
Modèle logique des prédicats
CurryDoux, 28/04/2020, 15h46,
Réponses: 13
Affichages: 3 129
Note0 / 5
29/04/2020,
19h33
Logique des prédicats
CurryDoux, 28/04/2020, 15h05,
Réponses: 5
Affichages: 2 969
Note0 / 5
28/04/2020,
16h12
Logique extensionnelle
CurryDoux, 28/04/2020, 12h13,
Réponses: 0
Affichages: 2 930
Note0 / 5
28/04/2020,
12h13
La logique de la logique
amineyasmine, 17/04/2020, 23h58,
Réponses: 10
Affichages: 3 394
Note0 / 5
19/04/2020,
09h54
Inverse de rien
Shatonly, 10/04/2020, 00h04,
Réponses: 16
Affichages: 3 941
Note0 / 5
12/04/2020,
14h20
J'ai trouvé une autre façon pour la division par zéro
Lien27, 23/03/2020, 15h41,
Réponses: 1
Affichages: 3 322
Note0 / 5
23/03/2020,
15h51
Plongement entre deux ensembles
Phil1313, 08/03/2020, 21h16,
Réponses: 13
Affichages: 3 444
Note0 / 5
11/03/2020,
20h42
Lois de De Morgan
Deno49, 05/03/2020, 18h33,
Réponses: 3
Affichages: 3 476
Note0 / 5
06/03/2020,
08h13
La division par zero est possible ! (explication)
Lien27, 02/03/2020, 16h21,
Réponses: 5
Affichages: 3 511
Note0 / 5
02/03/2020,
16h53
Est-ce que mon raisonnement est valide ???
Lien27, 28/02/2020, 11h25,
Réponses: 15
Affichages: 3 589
Note0 / 5
28/02/2020,
18h49
P=NP sondage
amineyasmine, 27/02/2020, 20h15,
Réponses: 24
Affichages: 3 804
Note0 / 5
28/02/2020,
11h13
Informations et options du forum
Modérateurs de ce forum