Hypothèse du monde clos - Historique des versions

Pitpitt : Remplacement de texte : « ↵ » par «  ==Sources== »

2024-01-28T04:05:58Z

Remplacement de texte : « ↵<small> » par «  ==Sources== »

← Version précédente		Version du 28 janvier 2024 à 00:05
Ligne 9 :		Ligne 9 :
	''' closedworld assumption'''		''' closedworld assumption'''

	~~<small>~~
			==Sources==

	[https://fr.wikipedia.org/wiki/Hypoth%C3%A8se_du_monde_clos SSource : Wikipedia ]		[https://fr.wikipedia.org/wiki/Hypoth%C3%A8se_du_monde_clos SSource : Wikipedia ]

Pitpitt : Remplacement de texte — «  féminin  » par «  »

2021-02-01T23:01:49Z

Remplacement de texte — « <small> féminin </small> » par «  »

← Version précédente		Version du 1 février 2021 à 19:01
Ligne 4 :		Ligne 4 :

	== Français ==		== Français ==
	''' Hypothèse du monde clos''' ~~<small> féminin </small>~~		''' Hypothèse du monde clos'''

	== Anglais ==		== Anglais ==

Imeziani le 9 décembre 2020 à 15:43

2020-12-09T15:43:19Z

← Version précédente		Version du 9 décembre 2020 à 11:43
Ligne 1 :		Ligne 1 :
	== Définition ==		== Définition ==

	L' '''hypothèse de monde clos''' signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini~~, il~~ n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier. La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l'[[Hypothèse du monde ouvert]] '''		L' '''hypothèse de monde clos''' signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini. Il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier. La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l'[[Hypothèse du monde ouvert]] '''

	== Français ==		== Français ==
Ligne 15 :		Ligne 15 :

	[[Catégorie:GRAND LEXIQUE FRANÇAIS]]		[[Catégorie:GRAND LEXIQUE FRANÇAIS]]
	~~[[Catégorie:Scotty2]]~~

Pitpitt le 9 décembre 2020 à 15:27

2020-12-09T15:27:48Z

← Version précédente		Version du 9 décembre 2020 à 11:27
Ligne 1 :		Ligne 1 :
	== Définition ==		== Définition ==

	'''L'hypothèse de monde clos''' signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier. La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l'[[Hypothèse du monde ouvert]] '''		L' '''hypothèse de monde clos''' signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier. La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l'[[Hypothèse du monde ouvert]] '''

	== Français ==		== Français ==

Pitpitt le 9 décembre 2020 à 15:26

2020-12-09T15:26:51Z

← Version précédente		Version du 9 décembre 2020 à 11:26
Ligne 1 :		Ligne 1 :
	== Définition ==		== Définition ==

	L'hypothèse de monde clos signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier. La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l'[[Hypothèse du monde ouvert]] '''		'''L'hypothèse de monde clos''' signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier. La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l'[[Hypothèse du monde ouvert]] '''

	== Français ==		== Français ==

Pitpitt le 9 décembre 2020 à 15:26

2020-12-09T15:26:19Z

← Version précédente		Version du 9 décembre 2020 à 11:26
Ligne 1 :		Ligne 1 :
	== Définition ==		== Définition ==

	~~L’’’’hypothèse~~ de monde clos ~~'''~~ signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier. La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l~~'''~~'[[Hypothèse du monde ouvert]] '''		L'hypothèse de monde clos signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier. La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l'[[Hypothèse du monde ouvert]] '''

	== Français ==		== Français ==

Sihem le 9 décembre 2020 à 04:57

2020-12-09T04:57:58Z

← Version précédente		Version du 9 décembre 2020 à 00:57
Ligne 1 :		Ligne 1 :
	== Définition ==		== Définition ==
	~~L’hypothèse~~ de monde clos ''' signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier.
			L’’’’hypothèse de monde clos ''' signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier. La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l''''[[Hypothèse du monde ouvert]] '''
	La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l''''[[Hypothèse du monde ouvert]] '''

	== Français ==		== Français ==

Sihem le 9 décembre 2020 à 04:48

2020-12-09T04:48:08Z

← Version précédente		Version du 9 décembre 2020 à 00:48
Ligne 1 :		Ligne 1 :
	== Définition ==		== Définition ==
	~~L’’’’hypothèse~~ de monde clos ''' signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier.		L’hypothèse de monde clos ''' signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier.

	La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l''''[[Hypothèse du monde ouvert]] '''		La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l''''[[Hypothèse du monde ouvert]] '''

Sihem le 9 décembre 2020 à 04:47

2020-12-09T04:47:47Z

← Version précédente		Version du 9 décembre 2020 à 00:47
Ligne 1 :		Ligne 1 :
	== Définition ==		== Définition ==
	~~L’hypothèse~~ de monde clos ''' signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier.		L’’’’hypothèse de monde clos ''' signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier.

	La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l''''[[Hypothèse du monde ouvert]] '''		La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l''''[[Hypothèse du monde ouvert]] '''

Sihem le 9 décembre 2020 à 04:46

2020-12-09T04:46:43Z

← Version précédente		Version du 9 décembre 2020 à 00:46
Ligne 1 :		Ligne 1 :
	== Définition ==		== Définition ==

	L’hypothèse de monde clos ''' signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier.		L’hypothèse de monde clos ''' signifie qu’un fait est considéré comme faux si, en un temps fini, on échoue à démontrer qu’il est vrai, ce qui revient à dire que tout ce qui est vrai doit être connu (inclus dans la base de données des faits) ou démontrable en temps fini, il n’y a pas de monde extérieur qui pourrait contenir des éléments de preuve inconnus du programme. Pour les faits vrais, l’hypothèse de monde clos ne dit rien de particulier.

	La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l''''[[Hypothèse du monde ouvert]] '		La notion d’hypothèse de monde clos est utilisée en particulier en Prolog, elle s’oppose à l''''[[Hypothèse du monde ouvert]] '''

	== Français ==		== Français ==

Hypothèse du monde clos - Historique des versions

Pitpitt : Remplacement de texte : « ↵ » par « ==Sources== »

Pitpitt : Remplacement de texte — « féminin » par « »

Imeziani le 9 décembre 2020 à 15:43

Pitpitt le 9 décembre 2020 à 15:27

Pitpitt le 9 décembre 2020 à 15:26

Pitpitt le 9 décembre 2020 à 15:26

Sihem le 9 décembre 2020 à 04:57

Sihem le 9 décembre 2020 à 04:48

Sihem le 9 décembre 2020 à 04:47

Sihem le 9 décembre 2020 à 04:46

Pitpitt : Remplacement de texte : « ↵ » par «  ==Sources== »

Pitpitt : Remplacement de texte — «  féminin  » par «  »