Index of lazi
- Accueil
- Contact
- Lexique
- argument minimal ou maximal d'une formule
- arguments d'une formule
- Calcul ▶
- arbre d'un calcul loose ou s-loose ordonné
- calcul
- calcul intermédiaire
- calcul passant par
- calcul terminé
- calcul élémentaire
- calcul équivalent
- calculable et incalculable (formule)
- calculate (fonction)
- destin d'un SFP dans un calcul
- duplication interne ou externe
- déduction de calcul
- formule compatible avec un calcul
- langage de calcul
- ligne de destins dans un calcul c
- ligne de traces dans un calcul
- loose (langage de calcul et niveau)
- normalisation d'un calcul loose
- normalisation d'un calcul s-loose
- portée d'un calcul
- règle de calcul (simplifiante,finale,composition)
- résultat d'un calcul
- résultat intermédiaire d'un calcul
- s-loose (langage de calcul)
- trace d'un SFP dans un calcul
- univocal (langage de calcul)
- x→c[l]... y (notations de calcul)
- égal par calcul à ou =c
- chemin mathématique (absolu ou relatif)
- chemin mathématique de calcul
- conditionnel
- ctruth, vérité condionnelle, $CT[ (...) ⊢ x ]
- décomposition d'une formule
- extensible
- fonction constante par calcul
- fonction minimale ou maximale d'une formule
- fonction non constante par calcul
- fonctions d'une formule
- Lazi ▶
- Lazi ▶lazi.0.1
- logique de niveau 0
- logique de niveau 1
- mathématique (lazi,pré-,minimale)
- mathématique extension de M
- n-formules
- notation étoile égalité
- preuve normalisée
- profondeur d'une formule
- SFP ▶
- sous-formule (stricte)
- type étendu par union
- utilisé dans le calcul
- Organisation
- Présentation
- Recherche
- 0 Logiciels
- 1 lazi.0 et lazi.1.0
- 2 Vérification des types
- 1 Objectifs
- 2 Structure
- 3 Extensions nécessaires
- 4 Comment définir les extensions
- 1 Par mot clé et déduction d'ajout et d'application
- 1.0 Communs mots clés
- 3 Traduction sans hypothèse
- Règle du tiers exclu
- Théorème toute vérité lazi.0.0 se calcule en une égalité
- Rebut
- Arguments égaux par calcul
- associativité de =c
- Calcul et remplacement
- commutativité de =c
- contre-exemple
- essai 1
- essai 2
- essai 3
- essai 4
- essai 5
- essai 6
- essai 7
- Problème def =c
- Redéfinition de =c
- Se calcul implique égal par calcul
- Théorème d'index de →c+
- Égalité par calcul et sous-formules incalculables
- Recherche d'une preuve
- essai 2, th 1
- essai 2, th 2
- essai 2, th 3
- Théorème =c est une relation d'équivalence
- Théorème d'égalité des arguments pour un calcul terminé
- Théorème du calcul semi-terminé
- Rebut
- Théorème toute vérité lazi.0.0 se calcule en une égalité
- Règle du tiers exclu
- 4 Retrouver la déduction d'ajout
- 6.0 Les mots clés
- 6.5 Définir les autres opérateurs
- 7.0 Validité
- 1 Par mot clé et déduction d'ajout et d'application
- 5 Implémentation extensions
- 6 Publier
- 1 Documenter
- Documenter dans réalisations
- Lazi et les autres fondations
- Principes fondateurs, sub-physique
- Comment raisonner sur les causes
- Contexte mathématique
- Différentes notions d'existence
- Définir la notion d'existence
- Définition de la cause d'un calcul
- Définition de la notion de système de traitement d'information
- Les calculs d'exploration
- Mesurer l'efficacité
- Mesurer la complexité et le coût
- Postulat plus simple
- Problème de la force d'une fonction de recherche
- Problème du remplacement par meilleur efficacité
- Qu'est-ce qu'un calcul
- Quel everything
- Réinterprétation de la notion d'onde
- Toujours une cause plus simple
- 1 Documenter
- 7 Compilateur
- Réalisations
- Suivi des tâches