Pages that link to "Item:Q5608008"
From MaRDI portal
The following pages link to Zwei Unentscheidbare Probleme Der Analysis (Q5608008):
Displaying 10 items.
- Undecidability through Fourier series (Q278759) (← links)
- Recursive analysis of singular ordinary differential equations (Q638473) (← links)
- A note on discreteness and virtuality in analog computing (Q870262) (← links)
- Undecidability and incompleteness in classical mechanics (Q1176394) (← links)
- A notion of mechanistic theory (Q1217700) (← links)
- Hypercomputation: Philosophical issues (Q1434379) (← links)
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets (Q1887829) (← links)
- Decision problems for differential equations (Q4732470) (← links)
- Physical Computability Theses (Q5119662) (← links)
- The complexity of proving chaoticity and the Church–Turing thesis (Q5251233) (← links)