« Essence de la connaissance » : différence entre les versions
Aucun résumé des modifications |
Aucun résumé des modifications |
||
Ligne 27 : | Ligne 27 : | ||
English: pourquoi des concepst en anglais ? Eh bien à cause des analogies ou perspectives informatiques. |
English: pourquoi des concepst en anglais ? Eh bien à cause des analogies ou perspectives informatiques. |
||
== 0 == |
== 0 == |
||
concept! '''element''' |
concept! '''element''' |
||
Toute entité atomique (insécable) pouvant être connu eu décrit. |
Toute entité atomique (insécable) pouvant être connu eu décrit. |
||
concept! '''set''' |
concept! '''set''' |
||
Une collection d'éléments. |
Une collection d'éléments. |
||
concept! '''fonction''' |
concept! '''fonction''' |
||
Une fonction se décrit pas la transformation d'un input en output. |
Une fonction se décrit pas la transformation d'un input en output. |
||
L'input et l'output ne peuvent être vides. |
L'input et l'output ne peuvent être vides. |
||
L'input et l'output sont des éléments d' |
L'input et l'output sont des éléments d'ensembles. |
||
La description d'une fonction implique de préciser les ensembles input et output. |
|||
L'e |
|||
== 1 == |
|||
1 |
|||
set '''setSet'''<br> |
|||
L'ensemble de tous les ensembles. Notion peu féconde, mais indispensable. |
|||
set '''fullSet''' |
|||
L'ensemble contenant tous les éléments. |
|||
set '''emptySet''' |
|||
L'ensemble vide, c'est à dire ne contenant aucun élément. |
|||
== 2 == |
|||
concept! élément '''false''' |
|||
Un élément.<br> |
|||
concept! élément '''true''' |
|||
Un élément autre que false. |
|||
set '''B''' |
|||
L'ensemble constitué de true, de false, et de rien d'autre. |
|||
fonction B -> not -> B |
|||
fonction B,B -> equals -> B |
|||
fonction B,B -> and -> B |
|||
fonction B,B -> or -> B |
|||
fonction B,B -> xor -> B |
|||
fonction setset,set -> contains -> B |
|||
fonction setset,setset -> contains -> B |
|||
<br> |
|||
<br> |
Version du 25 décembre 2009 à 10:20
Introduction
Sous ce titre trop vague se trouve une recherche assez concrète.
Elle touche aux maths, un peu à la philo, à l'informatique et à la cognostique.
Elle a deux buts, et l'atteinte de ces buts est fort imprévisible:
la construction d'un possible nouveau langage informatique
la construction d'un modèle de pensée artificielle
Evidences
Dans la recherche des notions premières, le but ultime semble toujours in fine inaccessible.
La présente démarche ne s'épuisera pas de ce coté là, mais se tournera plutôt vers la pyramide des constructions.
Donc avec une certaine paresse, divers concepts seront considérés comem évidents.
Je suppose qu'une couche fondatrice pourra être explorée dans des livres de math ou de philo.
Ici l'indication "concept!" sera la marque de la limite de cette paresse.
Par ailleurs le sens de certains de ces concepts ne prend forme qu'avec l'introduction de concepts ultérieurs: pas de construction séquentielle immaculée.
English: pourquoi des concepst en anglais ? Eh bien à cause des analogies ou perspectives informatiques.
0
concept! element
Toute entité atomique (insécable) pouvant être connu eu décrit.
concept! set
Une collection d'éléments.
concept! fonction
Une fonction se décrit pas la transformation d'un input en output.
L'input et l'output ne peuvent être vides.
L'input et l'output sont des éléments d'ensembles.
La description d'une fonction implique de préciser les ensembles input et output.
1
set setSet
L'ensemble de tous les ensembles. Notion peu féconde, mais indispensable.
set fullSet
L'ensemble contenant tous les éléments.
set emptySet
L'ensemble vide, c'est à dire ne contenant aucun élément.
2
concept! élément false
Un élément.
concept! élément true
Un élément autre que false.
set B
L'ensemble constitué de true, de false, et de rien d'autre.
fonction B -> not -> B
fonction B,B -> equals -> B
fonction B,B -> and -> B
fonction B,B -> or -> B
fonction B,B -> xor -> B
fonction setset,set -> contains -> B
fonction setset,setset -> contains -> B