Combining Texts
Ideas for
'Mahaprajnaparamitashastra', 'Which Logic is the Right Logic?' and 'Intro to Gdel's Theorems'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
5 ideas
5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms
10077
|
A 'surjective' ('onto') function creates every element of the output set [Smith,P]
|
10078
|
An 'injective' ('one-to-one') function creates a distinct output element from each original [Smith,P]
|
10079
|
A 'bijective' function has one-to-one correspondence in both directions [Smith,P]
|
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
10773
|
The Löwenheim-Skolem property is a limitation (e.g. can't say there are uncountably many reals) [Tharp]
|
10777
|
Skolem mistakenly inferred that Cantor's conceptions were illusory [Tharp]
|