Hannes Hutzelmeyer

[4] viXra:1905.0590 submitted on 2019-05-31 03:08:42, (5 unique-IP downloads)

Representation of Processive Functions in Robinson Arithmetic ?

Authors: Hannes Hutzelmeyer
Category: Set Theory and Logic

[3] viXra:1905.0275 submitted on 2019-05-17 10:56:36, (9 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, (14 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, (60 unique-IP downloads)

Geometries of O

Authors: Hannes Hutzelmeyer
Category: Geometry