Wie kommt die Welt in einen Roboter? Hat ein Roboter überhaupt eine Welt? Diese spekulativen Frag...

First-Order Universality for Real Programs.- Skolem + Tetration Is Well-Ordered.- Structures of S...

The transformation of the cultural technique of calculation into a computational environment for ...