SeriesFormal knowledge and understanding
Genres
- Technology and knowledge
- Economy and daily life
- Body and relationships
- Earth and infrastructure
- Power and community
- Culture and possibility
- The person and the community
- Business and organizations
- Life and mind
- Civilization and deep time
- Defense and war
- Present-future interaction
- Body and shared living
- Formal knowledge and understanding
- Embodied and practical knowledge
- Concept formation and the sharing of meaning
- A way of compressing the world to see it
- A way of making judgments hold together
- At what level do you read change and effect?
- Decisions that include the cost of thinking further
Formal knowledge and understanding · Proof and mathematical understanding
The shared question to begin with when you cannot call it the same proposition
The Daon heterogeneous inference joint research meeting—within 18 months, before the start of the next joint research cycle—what question will it set as the starting point? Choose one and set the scope of the joint comparison: comparison of the constructibility of each system, exploration of the conditions under which a particular inference rule can be transferred, or exploration of the boundaries where the question itself does not hold.
18 months until the new joint research cycle begins · Split 9:2
Proof and mathematical understanding
Proof and mathematical understanding · 2026What to Learn After a Verified ProofAll 13 judgments agree
Proof and mathematical understanding · 2035Beyond the Checklist: Setting the Unit of Shared InquiryAll 13 judgments agree
Proof and mathematical understanding · 2180The shared question to begin with when you cannot call it the same propositionSplit 9:2