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
04/04/2020
Affichages:
247 886
Ouvrir une nouvelle discussion
Affichage des discussions 1 à 70 sur 70
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
Théorie des champs ordonnés
Nini42, 09/05/2022, 18h18,
Réponses: 8
Affichages: 359
Note0 / 5
16/05/2022,
15h55
démonstration de logique classique (trivial ?)
christianautodidacte, 27/03/2022, 22h40,
Réponses: 7
Affichages: 1 127
Note0 / 5
11/05/2022,
11h07
A quelles conditions deux énoncés sont-ils cohérents ?
Alain2021, 16/03/2022, 10h30,
Réponses: 17
Affichages: 738
Note0 / 5
18/03/2022,
11h48
Intégrammes
Olivierlamy, 15/03/2022, 18h50,
Réponses: 2
Affichages: 430
Note0 / 5
17/03/2022,
09h04
Petite question de vocabulaire sur les predicats
passion math, 04/02/2022, 13h31,
Réponses: 4
Affichages: 1 169
Note0 / 5
06/02/2022,
16h10
propositions prédicats ?
ilelogique, 01/02/2022, 10h02,
Réponses: 20
Affichages: 700
Note0 / 5
02/02/2022,
06h35
Np
ilelogique, 28/01/2022, 07h57,
Réponses: 7
Affichages: 692
Note0 / 5
30/01/2022,
00h35
Questions relatives à la définition des sciences formelles
Alain2021, 06/01/2022, 14h41,
Réponses: 9
Affichages: 1 120
Note0 / 5
11/01/2022,
09h10
Les mathématiques peuvent-elles exister sans les nombres ?
andretou, 11/04/2021, 12h54,
Réponses: 75
Affichages: 3 794
Note0 / 5
28/12/2021,
19h14
Différence entre épistémique et doxastique
Matmat, 14/12/2021, 14h01,
Réponses: 7
Affichages: 1 220
Note0 / 5
15/12/2021,
15h30
raisonnement: l' induction 'logique' ... et sa validité logique ?
Bounoume, 02/07/2021, 23h15,
Réponses: 24
Affichages: 2 422
Note0 / 5
03/12/2021,
16h36
police logique
ilelogique, 17/11/2021, 08h25,
Réponses: 10
Affichages: 1 857
Note0 / 5
22/11/2021,
23h00
Résolution du paradoxe de l’interrogation surprise
Desi14, 07/11/2021, 14h11,
Réponses: 3
Affichages: 1 665
Note0 / 5
10/11/2021,
07h24
Hilbert, Gödel, Turing, P=NP et calculabilité
ilelogique, 24/09/2021, 20h25,
Réponses: 2
Affichages: 3 505
Note0 / 5
28/09/2021,
13h48
Classes et prédicats unaires.
Anonyme007, 22/09/2021, 18h16,
Réponses: 28
Affichages: 1 363
Note0 / 5
23/09/2021,
15h01
à propos de P=NP
ilelogique, 20/08/2021, 08h58,
Réponses: 57
Affichages: 3 874
Note0 / 5
25/08/2021,
07h28
Comment montrer qu'une assertion est fausse ou vraie
Mameu, 20/07/2021, 19h28,
Réponses: 31
Affichages: 3 081
Note0 / 5
26/07/2021,
13h03
Multiplication implicite de la métamathématique
AdrienMaths, 10/07/2021, 21h49,
Réponses: 2
Affichages: 1 381
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: 1 463
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: 1 294
Note0 / 5
02/07/2021,
09h09
Exercice Logique
Steinbeck, 25/06/2021, 08h13,
Réponses: 3
Affichages: 1 401
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: 1 505
Note0 / 5
24/06/2021,
15h44
Arithmétique de Peano du premier ordre
Médiat, 31/05/2021, 11h22,
Réponses: 152
Affichages: 3 770
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: 5 014
Note0 / 5
31/05/2021,
10h28
Exposition par zéro ou par le néant ?
OmegaSigmaDelta, 15/04/2021, 16h36,
Réponses: 51
Affichages: 2 266
Note0 / 5
16/04/2021,
14h44
Nécessaire et Possible
BIG136, 08/04/2021, 08h04,
Réponses: 21
Affichages: 1 599
Note0 / 5
10/04/2021,
21h45
Logique intuitioniste
Merlin95, 03/04/2021, 00h21,
Réponses: 15
Affichages: 1 734
Note0 / 5
03/04/2021,
21h14
Equivalence
BIG136, 30/03/2021, 08h03,
Réponses: 5
Affichages: 1 399
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: 2 129
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: 1 873
Note0 / 5
22/02/2021,
19h42
L'assemblage de l'ensemble vide selon Bourbaki
nerub, 09/02/2021, 01h01,
Réponses: 37
Affichages: 2 992
Note0 / 5
12/02/2021,
08h04
Le langage de base
invite84127968, 23/01/2020, 06h38,
Réponses: 17
Affichages: 4 760
Note0 / 5
10/12/2020,
19h05
La négation ¬p
mathieu785, 20/10/2020, 16h15,
Réponses: 11
Affichages: 2 558
Note0 / 5
28/11/2020,
19h13
Paradoxe algorithmique, problème de l'arrêt
vincent2303, 28/11/2020, 01h40,
Réponses: 11
Affichages: 1 976
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: 3 447
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: 2 000
Note0 / 5
14/10/2020,
08h26
Théorie des ensembles: approche
Liet Kynes, 17/02/2020, 07h44,
Réponses: 155
Affichages: 7 510
Note0 / 5
12/10/2020,
18h41
Hiérarchie cumulative de von Neumann
Liet Kynes, 03/10/2020, 11h33,
Réponses: 59
Affichages: 3 104
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: 2 306
Note0 / 5
01/10/2020,
16h29
Axiome des parties
Médiat, 09/09/2020, 22h20,
Réponses: 81
Affichages: 3 712
Note0 / 5
30/09/2020,
10h47
sémantique générale et approche non-aristotelicienne
Christian Arnaud, 28/07/2020, 10h52,
Réponses: 54
Affichages: 4 681
Note0 / 5
05/08/2020,
10h20
La logique appliquée au chat de Schroedinger
Leradicator, 24/07/2020, 16h31,
Réponses: 16
Affichages: 2 603
Note0 / 5
02/08/2020,
15h54
Sondage :
La Logique est-elle ? :
Merlin95, 16/07/2020, 01h04,
Réponses: 1
Affichages: 2 169
Note0 / 5
16/07/2020,
06h31
Sciences & Avenir : Infini
Médiat, 07/07/2020, 10h23,
Réponses: 7
Affichages: 2 328
Note0 / 5
07/07/2020,
13h36
Et et ou (ou, ou ou et)
Médiat, 23/06/2020, 12h07,
Réponses: 150
Affichages: 5 919
Note0 / 5
03/07/2020,
20h38
Petite récréation 2
Médiat, 18/06/2020, 10h06,
Réponses: 22
Affichages: 2 502
Note0 / 5
24/06/2020,
09h46
Petite récréation.
Médiat, 02/05/2020, 13h09,
Réponses: 86
Affichages: 4 673
Note0 / 5
15/05/2020,
07h48
Nouvelle classification des entiers naturels
jyboulay, 06/05/2020, 16h15,
Réponses: 1
Affichages: 2 669
Note0 / 5
06/05/2020,
16h24
p=t
ilelogique, 28/04/2020, 18h03,
Réponses: 17
Affichages: 2 529
Note0 / 5
04/05/2020,
07h00
Est-ce qu'une proposition peut donner des conditions sur ce qui l'implique ?
Lien27, 28/03/2020, 23h35,
Réponses: 27
Affichages: 3 285
Note0 / 5
03/05/2020,
19h03
Modèle logique des prédicats
CurryDoux, 28/04/2020, 14h46,
Réponses: 13
Affichages: 2 324
Note0 / 5
29/04/2020,
18h33
Logique des prédicats
CurryDoux, 28/04/2020, 14h05,
Réponses: 5
Affichages: 2 207
Note0 / 5
28/04/2020,
15h12
Logique extensionnelle
CurryDoux, 28/04/2020, 11h13,
Réponses: 0
Affichages: 2 117
Note0 / 5
28/04/2020,
11h13
La logique de la logique
amineyasmine, 17/04/2020, 22h58,
Réponses: 10
Affichages: 2 633
Note0 / 5
19/04/2020,
08h54
Inverse de rien
Shatonly, 09/04/2020, 23h04,
Réponses: 16
Affichages: 2 981
Note0 / 5
12/04/2020,
13h20
J'ai trouvé une autre façon pour la division par zéro
Lien27, 23/03/2020, 14h41,
Réponses: 1
Affichages: 2 581
Note0 / 5
23/03/2020,
14h51
Plongement entre deux ensembles
Phil1313, 08/03/2020, 20h16,
Réponses: 13
Affichages: 2 671
Note0 / 5
11/03/2020,
19h42
Lois de De Morgan
Deno49, 05/03/2020, 17h33,
Réponses: 3
Affichages: 2 602
Note0 / 5
06/03/2020,
07h13
La division par zero est possible ! (explication)
Lien27, 02/03/2020, 15h21,
Réponses: 5
Affichages: 2 712
Note0 / 5
02/03/2020,
15h53
Est-ce que mon raisonnement est valide ???
Lien27, 28/02/2020, 10h25,
Réponses: 15
Affichages: 2 719
Note0 / 5
28/02/2020,
17h49
P=NP sondage
amineyasmine, 27/02/2020, 19h15,
Réponses: 24
Affichages: 2 871
Note0 / 5
28/02/2020,
10h13
Predicat unaire
Liet Kynes, 26/02/2020, 16h58,
Réponses: 7
Affichages: 3 002
Note0 / 5
27/02/2020,
18h51
Aide pour trouver une formule ou logique
Naninana, 27/02/2020, 12h35,
Réponses: 1
Affichages: 2 321
Note0 / 5
27/02/2020,
16h14
Les cardinaux négatifs
amineyasmine, 22/02/2020, 14h59,
Réponses: 31
Affichages: 3 207
Note0 / 5
27/02/2020,
16h11
Enigmes de logique sur l'Île des Purs et des Pires
shokin, 09/02/2005, 17h03,
Réponses: 67
Affichages: 24 098
Note0 / 5
24/02/2020,
21h01
cardinal d'un sous-ensemble de N
amineyasmine, 18/02/2020, 20h29,
Réponses: 5
Affichages: 2 512
Note0 / 5
19/02/2020,
19h41
GODEL et l’indénombrable
iharmed, 26/01/2020, 21h39,
Réponses: 4
Affichages: 2 502
Note0 / 5
27/01/2020,
06h38
Démontrer qu’on ne peut pas démontrer
iharmed, 20/01/2020, 19h59,
Réponses: 37
Affichages: 4 023
Note0 / 5
25/01/2020,
21h39
Informations et options du forum
Modérateurs de ce forum