vol 7: Notes
2003
Site map
Directory
Search this site
Home
1: About
2: Synopsis
3: Development
Next:
Previous: Notes 2003: Toc
... to restore theology to the mainstream of science
[Notebook Turkey, DB 55]
[ Sunday 12 January 2003 - Saturday 18 January 2003]
[page 146]
Sunday 12 January 2003
Ruben Hersh, Tymoczko page 20: 'It is not the case that a doubtful proof would become certain by being formalized. On the contrary the doubtfulness of the proof would then be replaced by the doubtfulness of the coding and programming'.
[page 147]
Insight (Hersh 20) "Nevertheless it turns out that it is understanding that verifies correctness of formal computation, not the other way round."
This is probably half true. There is nothing like formalism that works to give confidence in a process.
Monday 13 January 2003
Tuesday 14 January 2003
Wednesday 15 January 2003
Facing work on the engine transplant again [in my old vehicle]. This sort of work raises all sorts of deeper issues of environment and technology. Used oil can be repulsive, perhaps not in the same league as a dead cow, but part of a similar cycle. This is where the concept of cycle enters, and we have gradually refined it to the level of mathematical abstraction.
Mathematics abstracts from body, that is realization, but it is able to talk about embodied reality because the logical confinement that gives us the proof structure in mathematics is also operating in embodied reality, so that mathematics has been called 'unreasonably effective'. Here we take the view that the ground for this effectiveness is the constraint of consistency which we use as a bound in mathematics as well as everywhere else. At the lowest physical level, any inconsistency that we might potentially observe is masked by uncertainty. Like all other parts of reality (?), mathematics can reflect on itself, but as Goedel showed, each reflection implies transfinite growth. Insofar as the cardinal of a set of logical symbols in aleph(0), the cardinal of the set of Goedel numbers of all possible expressions made with these symbols is aleph(1). Are the Goedel numbers dense in the space aleph(1), ie is every element of aleph(1) the Goedel number of some expression. Yes? No? Yes - position dependent systems of representing numbers with strings aleph(0) long of aleph(0) different symbols can represent aleph(1) different numbers, so we can
[page 148]
say that each of the aleph(1) different numbers represents an expression which is a unique string.
Thursday 16 January 2003
Friday 17 January 2003
On the Theology Company white and green papers. Defining our positions and policies.
Denzinger is in effect a compendium of Roman Catholic Church white papers - or are these laws? Denzinger.
discussion (green), policy (white), decision (law) execution (government)
Most documents of Vatican II are 'white papers' Abbott.
The Theology Company can begin by matching them and maybe adding or deleting some issues. Vatican II developed 16 texts.
1. Lumen Gentium - Dogmatic Constitution on the Church, ie the Church's self-definition - same for The Theology Company: 'what are we?'
Is The Theology Company a religion? Yes and no.
Saturday 18 January 2003
Books
| Abbott, Walter M, The Documents of Vatican II: in a new and definitive translation, with notes and commentaries by Catholic, Protestant and Orthodox authorities, Geoffrey Chapman 1972 Jacket: 'All 16 Documents of Vatican II are here presented in a new and readable translation. Informed comments and appraisals by Catholics and non-Catholics make this book essential reading for anyone, of whatever shade of belief, who is interested in the changing climate of today's world.' Amazon back |
| Denzinger, Henricus, and Adolphus Schoenmetzer, Enchiridion Symbolorum, Definitionum et Declarationum de Rebus Fidei et Morum, Herder 1963 Introduction: 'Dubium non est quin praeter s. Scripturam cuique theologo summe desiderandus sit etiam liber manualis quo contineantur edicta Magisterii ecclesiastici eaque saltem maioris momenti, et quo ope variorim indicum quaerenti aperiantur eorum materiae.' (3) 'There is no doubt that in addition to holy Scripture, every theologian also needs a handbook which contains at least the more important edicts of the Magisterium of the Church, indexed in a way which makes them easy to find.'back |
| Hesse, Hermann, The Glass Bead Game, Peter Smith Publishing 1992 Amazon back |
| Tymoczko, Thomas, and (Editor), New Directions in the Philosophy of Mathematics: An Anthology, Princeton University Press 1998 Jacket: 'The traditional debate among philosophers of mathematics is whether there is an external mathematical reality, something out there to be discovered, or whether mathematics is the product of the human mind. ... By bringing together essays of leading philosophers, mathematicians, logicians and computer scientists, TT reveals an evolving effort to account for the nature of mathematics in relation to other hman activities.' Amazon back |
Click on an "Amazon" link in the booklist at the foot of the page to buy the book, see more details or search for similar items
Related sites:
Concordat Watch
Revealing Vatican attempts to propagate its religion by international treaty
