Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
103 views

Buridan's principle in computable analysis

In (Lamport, 2012), Lamport proposes the principle A discrete decision based upon an input having a continuous range of values cannot be made within a bounded length of time. I think it could be ...
MaudPieTheRocktorate's user avatar
6 votes
2 answers
308 views

Recent trends in effective analysis

The references listed at http://en.wikipedia.org/wiki/Computable_analysis have all been published 30-15 years ago. Are the approaches which these references expose still up-to-date and relevant to the ...
user avatar