58 ideas
| 13786 | Wisdom is called 'beautiful', because it performs fine works [Plato] |
| 13780 | Good people are no different from wise ones [Plato] |
| 13778 | A dialectician is someone who knows how to ask and to answer questions [Plato] |
| 13776 | Truths say of what is that it is, falsehoods say of what is that it is not [Plato] |
| 17749 | Post proved the consistency of propositional logic in 1921 [Walicki] |
| 17765 | Propositional language can only relate statements as the same or as different [Walicki] |
| 17764 | Boolean connectives are interpreted as functions on the set {1,0} [Walicki] |
| 10859 | A set is 'well-ordered' if every subset has a first element [Clegg] |
| 17752 | The empty set is useful for defining sets by properties, when the members are not yet known [Walicki] |
| 17753 | The empty set avoids having to take special precautions in case members vanish [Walicki] |
| 10857 | Set theory made a closer study of infinity possible [Clegg] |
| 10864 | Any set can always generate a larger set - its powerset, of subsets [Clegg] |
| 10872 | Extensionality: Two sets are equal if and only if they have the same elements [Clegg] |
| 10875 | Pairing: For any two sets there exists a set to which they both belong [Clegg] |
| 10876 | Unions: There is a set of all the elements which belong to at least one set in a collection [Clegg] |
| 10878 | Infinity: There exists a set of the empty set and the successor of each element [Clegg] |
| 10877 | Powers: All the subsets of a given set form their own new powerset [Clegg] |
| 10879 | Choice: For every set a mechanism will choose one member of any non-empty subset [Clegg] |
| 10871 | Axiom of Existence: there exists at least one set [Clegg] |
| 10874 | Specification: a condition applied to a set will always produce a new set [Clegg] |
| 17759 | Ordinals play the central role in set theory, providing the model of well-ordering [Walicki] |
| 17741 | To determine the patterns in logic, one must identify its 'building blocks' [Walicki] |
| 13777 | A name is a sort of tool [Plato] |
| 13790 | A name-giver might misname something, then force other names to conform to it [Plato] |
| 13791 | Things must be known before they are named, so it can't be the names that give us knowledge [Plato] |
| 13789 | Anyone who knows a thing's name also knows the thing [Plato] |
| 17747 | A 'model' of a theory specifies interpreting a language in a domain to make all theorems true [Walicki] |
| 17748 | The L-S Theorem says no theory (even of reals) says more than a natural number theory [Walicki] |
| 17763 | Axiomatic systems are purely syntactic, and do not presuppose any interpretation [Walicki] |
| 17761 | A compact axiomatisation makes it possible to understand a field as a whole [Walicki] |
| 10880 | Mathematics can be 'pure' (unapplied), 'real' (physically grounded); or 'applied' (just applicable) [Clegg] |
| 17758 | Ordinals are transitive sets of transitive sets; or transitive sets totally ordered by inclusion [Walicki] |
| 17755 | Ordinals are the empty set, union with the singleton, and any arbitrary union of ordinals [Walicki] |
| 17756 | The union of finite ordinals is the first 'limit ordinal'; 2ω is the second... [Walicki] |
| 10861 | Beyond infinity cardinals and ordinals can come apart [Clegg] |
| 10860 | An ordinal number is defined by the set that comes before it [Clegg] |
| 17760 | Two infinite ordinals can represent a single infinite cardinal [Walicki] |
| 17757 | Members of ordinals are ordinals, and also subsets of ordinals [Walicki] |
| 10854 | Transcendental numbers can't be fitted to finite equations [Clegg] |
| 10858 | By adding an axis of imaginary numbers, we get the useful 'number plane' instead of number line [Clegg] |
| 10853 | Either lack of zero made early mathematics geometrical, or the geometrical approach made zero meaningless [Clegg] |
| 10866 | Cantor's account of infinities has the shaky foundation of irrational numbers [Clegg] |
| 10869 | The Continuum Hypothesis is independent of the axioms of set theory [Clegg] |
| 10862 | The 'continuum hypothesis' says aleph-one is the cardinality of the reals [Clegg] |
| 17762 | In non-Euclidean geometry, all Euclidean theorems are valid that avoid the fifth postulate [Walicki] |
| 17754 | Inductive proof depends on the choice of the ordering [Walicki] |
| 2063 | How can beauty have identity if it changes? [Plato] |
| 13775 | We only succeed in cutting if we use appropriate tools, not if we approach it randomly [Plato] |
| 13787 | Doesn't each thing have an essence, just as it has other qualities? [Plato] |
| 13774 | Things don't have every attribute, and essence isn't private, so each thing has an essence [Plato] |
| 13772 | Is the being or essence of each thing private to each person? [Plato] |
| 13788 | If we made a perfect duplicate of Cratylus, there would be two Cratyluses [Plato] |
| 17742 | Scotus based modality on semantic consistency, instead of on what the future could allow [Walicki] |
| 13792 | There can't be any knowledge if things are constantly changing [Plato] |
| 13781 | Soul causes the body to live, and gives it power to breathe and to be revitalized [Plato] |
| 13785 | 'Arete' signifies lack of complexity and a free-flowing soul [Plato] |
| 13779 | The natural offspring of a lion is called a 'lion' (but what about the offspring of a king?) [Plato] |
| 13783 | Even the gods love play [Plato] |