Essence de la connaissance

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! element set

Une collection d'éléments.

L'ensemble lui-même peut à son tour être considéré comm élément.

concept! element fonction

Une fonction est un élément particulier.

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 set,set -> equals -> B

(et donc: fonction B,B -> equals -> B)

fonction B,B -> and -> B

fonction B,B -> or -> B

fonction B,B -> xor -> B

fonction setSet,fullSet -> contains -> B

fonction setSet,setSet -> subSet -> B

fonction setSet -> isEmpty -> B

3

concept! set Z

L'ensemble des nombres entiers (positifs et négatifs).

fonction setSet -> cardinal -> Z

fonction Z -> next -> Z

Le suivant d'un nombre entier, qui est un autre nombre entier (et qui n'est le suivant que de ce premier nombre)

fonction Z,Z -> equals -> Z

élément zero

Hum... Le cardinal de emptySet.

élément one

Le suivant de zero (zero -> next -> one).

fonction Z,Z plus -> Z

fonction Z minus -> Z

fonction Z,Z minus -> Z

fonction Z,Z bigger -> B

fonction Z,Z smaller -> B

fonction Z,Z strictBigger -> B

fonction Z,Z strictSmaller -> B

fonction Z,Z product -> Z

fonction Z,Z quotient -> Z

fonction Z,Z modulo -> Z

fonction Z,Z divides -> B

fonction Z,Z isSquare -> B

fonction Z,Z isPrime -> B

...

4

set functionSet

L'ensemble des fonctions. (Donc une fonction est bien un élément).

set conditionSet

Un sous-ensemble de l'ensemble de fonctions, celui consitué des fonctions ayant la forme générale  

setSet,fullSet -> condition -> B

fonction setSet,conditionSet conditionSubSet-> setSet

Cette fonction reçoit pour input un ensemble et une condition.

Elle produit comme output un ensemble constitué de tout ou partie des éléments du premier ensemble, ceux pour lesquels la fonction condition est vérifiée (renvoie true).

Eventuellement l'ensemble output est vide.

...

clock

...

random

...

event