Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Real-valued functions of real variable, analytic properties of functions and sequences, limits, continuity, smoothness of these.
3
votes
0
answers
155
views
Does one need Second Order Logic to do Calculus?
Second order Logic (SL) is required to define the Reals (otherwise they were at most countable). Based on this, SL is involved in the definition of the limit operator, as the 'core' of all Calculus.
…