Questa domanda è per pura curiosità, mi piace poterne inquadrare il potenziale contesto applicativo, per quanto riguarda l'informatica mi è chiaro, si parla di calcolo $\lambda$
Si parla di cose un poco esotiche tipo
- Spazi metrici in Topologie Sintetiche
- Dualità di Stone
Il principale attore di questi studi sembra essere Paul Taylor
Metric Spaces in Synthetic Topology
http://math.andrej.com/wp-content/uploa ... nthtop.pdf
Ho dato un'occhiata cosa si intende per quel 'sintetico'
https://ncatlab.org/nlab/show/synthetic+topology
legato strettamente con la dualità di Stone
http://profs.sci.univr.it/~gregorio/stone-new.pdf
Io ho capito cosi leggendo su nLab: la dualità di Stone è una tecnica di riassomatizzazione delle nozioni di spazio e mappe nella topologia generale in termini di un calcolo λ per le funzioni continue e dei predicati computabili in modo che siano costruttivi che computabili.
Riguardo al calcolo Lamda
https://it.wikipedia.org/wiki/Lambda_calcolo
***
Non lo so, ma a sensazione, questo lavoro sembra avere un prosperoso futuro, mi domando quali possono o potranno essere le sue implicazioni in fisica, in particolare se potremmo introdurre il concetto di 'motore fisico', con questi studi si va davvero oltre la visione classica di 'spazio curvo' e il ruolo attuale dell' informatica (basti rievocare Spazio di Sierpiński e la Topologia di Scott) va completamente rivisto come principale strumento, simile ad un vero e proprio laboratorio per poter realizzare questi motori fisici.
Ovviamente sono un visionario, ma qualcosa tra le righe secondo inizia ad emergere dopo faticose e lunghe ricerche.
Invidio i matematici per questi studi, hanno e stanno facendo un' enorme lavoro di convergenza tra fisica e informatica