Re: COMP, Quantum Logic and Gleason's Theorem

Günther, AUDA is based on the self-reference logic of axiomatizable or recursively enumerable theories, of machine. Those machines or theories must be rich enough. In practice this means their theorems or beliefs are close for induction.This is the work of Gödel and followers, notably

A scientifically sound, objective test for consciousness

(The journal is free!) The test itself is not easy or cheap - but it is possible AND you can perform it on humans as well as AI. To deny that the test is valid involves a denial that scientists have P-consciousness, whilst being totally demanding of it and dependent on it for all science