Open problems (1)

lLCM-concepts corresponding to various learning theory
concepts:

•What~{!/~}s positive data
and negative data in LCM? (Question by Eric Martin)

•Is there logic for
PAC-learning?: Probability of PAC-learning seems to
corresponds to basis of topological space as expectation
level of logic of discovery.

lRelationship to computable and/or numerical analysis, Kohlenbach~{!/~}s work, Arikawa et al~{!-~}