Stephen Wolfram, A New Kind of Sciencehttps://bactra.org/reviews/wolfram/
who got his Ph.D. in theoretical physics at a tender age, and then, in the early and mid-1980s, was part of a wave of renewed interest in the subject of cellular automata . The co
Spin - Formal Verificationhttp://spinroot.com/spin/old.html
Tool Documentation and Theoretical Background Performance Language Extensions Eclipse Plugin Buchi Store Emacs Mode Support Sample Spin Related Projects (new) Site and Web Search:
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
The Study of Human Consciousness - Is ET already part of our lives?https://colinandrews.net/Consciousness.html
catastrophes!!! A theoretical Type II civilization would even be able to control all energies of their home galaxy. In my book “Nutze die taeglichen Wunder,” I have de
Colin Andrews study of human consciousness has discovered that a none local, not human mind is interacting with humans and that many of our own actions are prompted by this intelli
Theiling Online: Word Frequency List for Englishhttp://www.conlang.info/wordfreq.html
outstanding port clause theoretical discover discovered entitle entitled breach clinical soul gate mirror attend servant servants sand grand photograph photographs solicitor sympt
http://www.conlang.info/wordfreq-bnc.txthttp://www.conlang.info/wordfreq-bnc.txt
port clause theoretical discover [discovered] entitle [entitled] breach clinical soul gate mirror attend servant [servants] sand grand photograph [photographs] solicitor symptom [
Mathematical theory of classification (IEKO)https://www.isko.org/cyclo/mathematical_theory_of_classification.htm
and so, we should be theoretically able to classify a lot of them (groups, rings, matrices, etc.), as Pierce ( 1970 ) has already shown. However, in the details, many problems rai
One of the main topics of scientific research, classification, is the operation consisting of distributing objects in classes or groups which are, in general, less numerous than th
Sammlung Interessanter Webseitenhttps://wwwcip.informatik.uni-erlangen.de/~oj14ozun/links.html
Building Blocks for Theoretical Computer Science Theoretical Computer Science Cheat Sheet Float Exposed An Introduction to Computer Networks Visualisierungen diverser Themen The A
Research Papers and Surveyshttps://www.scottaaronson.com/papers/
, in Innovations in Theoretical Computer Science (ITCS) 2024, arXiv:2211.00747 . Entanglement is a quantum resource, in some ways analogous to randomness in classical computation.
Boolean logic (IEKO)https://www.isko.org/cyclo/boolean.htm
requirements by clear theoretical insight. But there are deeper problems though. In logic itself, Boolean logic is not ‘fine-grained’ enough to show that many valid ar
The article describes and explains Boolean logic (or Boolean algebra) in its two principle forms: that of truth-values and the Boolean connectives AND, OR, and NOT, and that of set
Human Knowledge: Foundations and Limitshttp://humanknowledge.net/Thoughts.html
to zero and so far from theoretical expectations? What is the cosmological constant? Why are there 3 dimensions of space and 1 of time? Quantum Theory What is a quantum? What is t
The Writings of Leslie Lamporthttps://lamport.azurewebsites.net/pubs/pubs.html
ignored, even among the theoretical concurrency community. I find this ironic. There is a field of research known by the pretentious name of "true concurrency".
Digital History | Promises and Perils of Digital Historyhttps://chnm.gmu.edu/digitalhistory/introduction/
handbook rather than a theoretical manifesto. Our distinctive contribution, as we see it, is our focus on history and historians. The “History Web,” as we call it here
Find more...