Exploring logic and mathematics of the future 

This site is the test domain of  Dr. Timm Lampert, PD  and Michael Taktikos