Pages that link to "Item:Q918975"
From MaRDI portal
The following pages link to A Suppes predicate for general relativity and set-theoretically generic spacetimes (Q918975):
Displaying 5 items.
- Remarks on undecidability, incompleteness and the integrability problem (Q601801) (← links)
- Undecidability and incompleteness in classical mechanics (Q1176394) (← links)
- Dynamical system where proving chaos is equivalent to proving Fermat's conjecture (Q1325710) (← links)
- On Jaśkowski's discussive logics (Q1344871) (← links)
- EINSTEIN MEETS GÖDEL (Q2873505) (← links)