Unrealistic models for realistic computations: how idealisations help represent mathematical structures and found scientific computing
Philippos Papayannopoulos
Topics & Concepts
ComputabilityUncountable setComputer scienceDomain (mathematical analysis)Theoretical computer scienceComputationComputable analysisScope (computer science)MathematicsAlgorithmDiscrete mathematicsProgramming languageMathematical analysisCountable setComputability, Logic, AI AlgorithmsCellular Automata and ApplicationsLogic, programming, and type systems