diff --git a/docs/index.md b/docs/index.md index a00f9a3..1907074 100644 --- a/docs/index.md +++ b/docs/index.md @@ -1,4 +1,4 @@ - + 0.3.12 2024-12-15T22:03Z @@ -93,7 +93,7 @@ computation: a member of the abstract structure, ‹ob›. The Miser Project is very much about computational interpretation of abstract entities, with mathematical-logic theory as guidance toward dependable computational interpretations. The importance of logic to -computer sciences is demonstrated. +computer science is demonstrated. Ob diagrams are props in the same manner as rulers, compasses and pencils on paper are useful in the understanding of Euclidean @@ -109,7 +109,7 @@ computational function -- a mathematical entity still. The challenge becomes finding a dependable alignment between the computational model as a theoretical conception and practical operation of a computing -mechanism, demonstrationg an empirical bridge that cannot be crossed with +mechanism, demonstrating an empirical bridge that cannot be crossed with mathematics and logic alone. Observe carefully how that is accomplished in the Miser Project. @@ -368,6 +368,7 @@ from time to time.