Table des matières
17 relations: Automate cellulaire, Calcul (mathématiques), Entropie (thermodynamique), Hypothèse de simulation, Inégalités de Bell, John Stewart Bell, Konrad Zuse, Leon Chua, Loi physique, Mathématisme, Physique numérique (théorique), Principe d'incertitude, Réalité simulée, Springer Science+Business Media, Thèse de Church, Théorème de Margolus-Levitin, Werner Heisenberg.
- Automate cellulaire
- Informatique théorique
- Livre de physique
Automate cellulaire
À gauche, une règle locale simple: une cellule passe d'un état (i) au suivant (i+1) dans le cycle d'états dès que i+1 est présent dans au moins 3 des 8 cellules voisines. À droite, le résultat (complexe) de l'application répétée de cette règle sur une grille de cellules.
Voir Calculating Space et Automate cellulaire
Calcul (mathématiques)
Enfant effectuant un calcul En mathématiques, un calcul est une opération ou un ensemble d'opérations effectuées sur des grandeurs.
Voir Calculating Space et Calcul (mathématiques)
Entropie (thermodynamique)
L'entropie est une grandeur physique qui caractérise le degré de désorganisation d'un système.
Voir Calculating Space et Entropie (thermodynamique)
Hypothèse de simulation
The Matrix - Capture d'écran du célèbre économiseur d'écran GLMatrix L'hypothèse de simulation énonce que la réalité observable a pour trame une simulation, semblable à celles de nos ordinateurs, sans que les entités y évoluant puissent la distinguer commodément de la vraie réalité.
Voir Calculating Space et Hypothèse de simulation
Inégalités de Bell
En mécanique quantique, les inégalités de Bell, énoncées en 1964 par John Stewart Bell, sont des relations que doivent respecter les mesures sur des états intriqués dans l'hypothèse d'une théorie déterministe locale à variables cachées.
Voir Calculating Space et Inégalités de Bell
John Stewart Bell
John Stewart Bell (Belfast -, Genève) est un physicien nord-irlandais, connu principalement pour son théorème et la mise en évidence des inégalités qui en découlent.
Voir Calculating Space et John Stewart Bell
Konrad Zuse
Konrad Zuse (–) est un ingénieur allemand qui fut l'un des pionniers du calcul programmable qui préfigure l'informatique.
Voir Calculating Space et Konrad Zuse
Leon Chua
Leon Ong Chua (né le aux Philippines) est un professeur Chinois-Philippin du département de génie électrique et d'informatique de l'université de Californie à Berkeley.
Voir Calculating Space et Leon Chua
Loi physique
Plan incliné Une définit, en physique, un rapport immuable entre plusieurs grandeurs.
Voir Calculating Space et Loi physique
Mathématisme
Le mathématisme désigne toute opinion, point de vue, école de pensée ou philosophie qui affirme que tout peut être décrit, défini ou modélisé par les mathématiques, ou que l'univers et la réalité (matérielle et mentale/spirituelle) sont fondamentalement, entièrement ou uniquement mathématiques, c'est-à-dire que tout est mathématique, ce qui nécessite de faire appel à la logique, la raison, la pensée et l'esprit.
Voir Calculating Space et Mathématisme
Physique numérique (théorique)
En physique et en cosmologie, la physique numérique est une collection de points de vue théoriques basés sur l'hypothèse que l'univers est, fondamentalement, descriptible par l'information, et est donc calculable.
Voir Calculating Space et Physique numérique (théorique)
Principe d'incertitude
En mécanique quantique, le principe d'incertitude ou, plus correctement, principe d'indétermination, aussi connu sous le nom de principe d'incertitude de Heisenberg, désigne toute inégalité mathématique affirmant qu'il existe une limite fondamentale à la précision avec laquelle il est possible de connaître simultanément deux propriétés physiques d'une même particule; ces deux variables dites complémentaires peuvent être sa position (x) et sa quantité de mouvement (p).
Voir Calculating Space et Principe d'incertitude
Réalité simulée
Le concept de réalité simulée consiste à supposer que la réalité perçue puisse être le fruit d'une simulation informatique sans que cela ne puisse être distingué de la "vraie" réalité.
Voir Calculating Space et Réalité simulée
Springer Science+Business Media
Springer Science+Business Media ou Springer (anc. Springer Verlag) est un groupe éditorial et de presse spécialisée d'origine allemande.
Voir Calculating Space et Springer Science+Business Media
Thèse de Church
La thèse de Church est une thèse concernant la définition de la notion de calculabilité.
Voir Calculating Space et Thèse de Church
Théorème de Margolus-Levitin
Élaboré par Norman Margolus et Lev B. Levitin, le théorème de Margolus-Levitin, impose une limite fondamentale au calcul quantique et qui concerne, à proprement parler, tous les moyens possibles par lesquels un calcul peut être effectué.
Voir Calculating Space et Théorème de Margolus-Levitin
Werner Heisenberg
Werner Heisenberg, né le à Wurtzbourg (Empire allemand) et mort le à Munich (Allemagne de l'Ouest), est un physicien allemand qui est l'un des fondateurs de la mécanique quantique, notamment en mettant en évidence le principe d'incertitude et en développant la formulation probabiliste de la fonction d'onde.
Voir Calculating Space et Werner Heisenberg
Voir aussi
Automate cellulaire
- A New Kind of Science
- Automate cellulaire
- Calculating Space
- Gaz sur réseau
- Voisinage de Moore
- Voisinage de von Neumann
Informatique théorique
- École d'été de Marktoberdorf
- Algorithme
- Algorithme récursif
- Architecture dirigée par les données
- Automate d'arbres
- Bisimulation
- Calculating Space
- Classe de complexité
- Code de Reed-Muller
- Coinduction
- Complexité d'un mot
- Computability in Europe
- Correction d'un algorithme
- Définition par récurrence
- European Association for Theoretical Computer Science
- Fundamenta Informaticae
- Idempotence
- Informatique naturelle
- Informatique quantique
- Informatique théorique
- Institut national de recherche en informatique et en automatique
- Journal of Automata, Languages and Combinatorics
- Lambda-calcul
- Langage formel
- Language Of Temporal Ordering Specification
- Méthode formelle (informatique)
- Machine de Krivine
- Machine de Turing
- Modèle LogP (Informatique)
- Optimisation combinatoire
- Pi-calcul
- Planification de mouvement
- Plus petit ancêtre commun
- Préordre de simulation
- Prix Donald E. Knuth
- Prix Gödel
- Prix IPEC Nerode
- Problème algorithmique
- Problème de l'évaluation d'un circuit
- Problème de la couverture exacte
- Pseudo-aléatoire
- Raisonnement automatisé
- Special Interest Group on Algorithms and Computation Theory
- Spintronique
- Test de propriété
- Théorème de Cobham
- Théorie des ensembles approximatifs
- Theory of Computing Systems
- Vérification formelle
Livre de physique
- Astronomia nova
- CRC Handbook of Chemistry and Physics
- Calculating Space
- De Beghinselen der Weeghconst
- De motu corporum in gyrum
- Dialogue sur les deux grands systèmes du monde
- Discours concernant deux sciences nouvelles
- Harmonices Mundi
- Horologium Oscillatorium
- Les Principes de la philosophie
- Opticks
- Philosophiæ naturalis principia mathematica
- Qu'est-ce que la vie ?
- Réflexions sur la puissance motrice du feu et sur les machines propres à développer cette puissance
- Traité d'optique
- Traité de la lumière (Huygens)
- Traité des couleurs
- Traité du monde et de la lumière
- Treatise on Natural Philosophy