The following pages link to Francisco Antonio Doria (Q885511):
Displayed 50 items.
- Informal versus formal mathematics (Q885512) (← links)
- Item:Q885511 (redirect page) (← links)
- A Suppes predicate for general relativity and set-theoretically generic spacetimes (Q918975) (← links)
- How to build a hypercomputer (Q1036529) (← links)
- The geometry of gauge field copies (Q1167463) (← links)
- Undecidability and incompleteness in classical mechanics (Q1176394) (← links)
- Item:Q885511 (redirect page) (← links)
- The incompleteness of theories of games (Q1277328) (← links)
- Dynamical system where proving chaos is equivalent to proving Fermat's conjecture (Q1325710) (← links)
- On Jaśkowski's discussive logics (Q1344871) (← links)
- Consequences of an exotic definition for \(\text{P}=\text{NP}\). (Q1412482) (← links)
- Is there a simple, pedestrian arithmetic sentence which is independent of ZFC? (Q1840967) (← links)
- Undecidable Hopf bifurcation with undecidable fixed point (Q1893895) (← links)
- Undecidability, incompleteness and Arnol'd problems (Q1896752) (← links)
- Gödel incompleteness, explicit expressions for complete arithmetic degrees and applications (Q1904898) (← links)
- On the metamathematics of the P vs. NP question (Q2383632) (← links)
- Some thoughts on hypercomputation (Q2497877) (← links)
- (Q2735811) (← links)
- (Q2735818) (← links)
- METAMATHEMATICAL LIMITS TO COMPUTATION (Q2829934) (← links)
- EINSTEIN MEETS GÖDEL (Q2873505) (← links)
- (Q3003827) (← links)
- (Q3102754) (← links)
- (Q3217230) (← links)
- (Q3670135) (← links)
- (Q3781087) (← links)
- (Q3781755) (← links)
- (Q3871595) (← links)
- (Q4025015) (← links)
- (Q4038402) (← links)
- Mesonic test fields and spacetime cohomology (Q4172599) (← links)
- The Atiyah - Singer index theorem and the gauge field copy problem (Q4248345) (← links)
- (Q4277694) (← links)
- (Q4282601) (← links)
- (Q4300141) (← links)
- (Q4395540) (← links)
- (Q4822150) (← links)
- (Q4851407) (← links)
- (Q4883232) (← links)
- Blueprint for a Hypercomputer (Q4907927) (← links)
- (Q4918399) (← links)
- On Hilbert's Sixth Problem (Q4958719) (← links)
- Selva Selvaggia (Q4993062) (← links)
- Learning the Undecidable from Networked Systems (Q4993065) (← links)
- Can a Free Market Be Complete? (Q5114936) (← links)
- A Beautiful Theorem (Q5213782) (← links)
- Fast-Growing Functions and the P vs. NP Question (Q5436986) (← links)
- (Q5448296) (← links)
- Learning the undecidable from networked systems (Q6317212) (← links)
- On the consistency of $P=NP$ with fragments of ZFC whose own consistency strength can be measured by an ordinal assignment (Q6470461) (← links)