Hannes Hutzelmeyer

[3] viXra:1905.0275 submitted on 2019-05-17 10:56:36, (0 unique-IP downloads)

Programming Primitive Recursive Functions and Beyond

Authors: Hannes Hutzelmeyer
Category: Set Theory and Logic

[2] viXra:1905.0221 submitted on 2019-05-16 03:15:48, (5 unique-IP downloads)

The Snark, a Counterexample for Church's Thesis ?

Authors: Hannes Hutzelmeyer
Category: Set Theory and Logic

[1] viXra:1812.0085 replaced on 2019-01-24 08:52:30, (46 unique-IP downloads)

Geometries of O

Authors: Hannes Hutzelmeyer
Category: Geometry