CTR Wilson - Honouring a Great Scottish Physicist

Colloquium and Workshop Honouring

s Andreas Abel: Normalization by Evaluation for Martin-Löf Type Theory The decidability of equality is proved for Martin-Löf type theory with a universe à la Russell and typed βη-equality judgements. A corollary of this result is that the constructor for dependent function types is injective, a property which is crucial for establishing the correctness of the type-checking algorithm. The decisi...

A Physicist Looks at Biology

A mature physicist, acquainting himself for the first time with the problems of biology, is puzzled by the circumstance that there are no "absolute phenomena" in biology. Everything is time bound and space bound. The animal or plant or micro-organism he is working with is but a link in an evolutionary chain of changing forms, none of which has any permanent validity. Even the molecular species ...

CT Arthrography (CTR)

Introductory Comments: Direct MR arthrography (MRR) consists of MR imaging of a joint after injecting dilute gadolinium or straight saline into the joint. Over the last decade, this technique has become widely accepted for imaging numerous intraarticular disorders. Prior to that, CT arthrography (CTR) had been gaining steam as an improvement in imaging some joints over standard contrast arthrog...

A Call for the Structured Physicist Report.

Night Thoughts of a Quantum Physicist

The most dramatic developments in theoretical physics in the next millennium are likely to come when we make progress on so far unresolved foundational questions. In this essay I consider two of the deepest problems confronting us, the measurement problem in quantum theory and the problem of relating consciousness to the rest of physics. I survey some recent promising ideas on possible solution...