Průzkum formálních systémů, Gödelových vět o neúplnosti, teorie kategorií a filozofických otázek vyvolaných efektivitou matematiky v přírodních vědách. V přípravě.