Vote for your favorite mineral in #MinCup25! - Taenite vs. Nontronite
It's a mineral found mostly in the farthest reaches of space vs one so common an exhaustive list of localities is nigh impossible as alloy #taenite faces off against clay #nontronite.
Log InRegister
Quick Links : The Mindat ManualThe Rock H. Currier Digital LibraryMindat Newsletter [Free Download]
Home PageAbout MindatThe Mindat ManualHistory of MindatCopyright StatusWho We AreContact UsAdvertise on Mindat
Donate to MindatCorporate SponsorshipSponsor a PageSponsored PagesMindat AdvertisersAdvertise on Mindat
Learning CenterWhat is a mineral?The most common minerals on earthInformation for EducatorsMindat ArticlesThe ElementsThe Rock H. Currier Digital LibraryGeologic Time
Minerals by PropertiesMinerals by ChemistryAdvanced Locality SearchRandom MineralRandom LocalitySearch by minIDLocalities Near MeSearch ArticlesSearch GlossaryMore Search Options
Search For:
Mineral Name:
Locality Name:
Keyword(s):
 
The Mindat ManualAdd a New PhotoRate PhotosLocality Edit ReportCoordinate Completion ReportAdd Glossary Item
Mining CompaniesStatisticsUsersMineral MuseumsClubs & OrganizationsMineral Shows & EventsThe Mindat DirectoryDevice SettingsThe Mineral Quiz
Photo SearchPhoto GalleriesSearch by ColorNew Photos TodayNew Photos YesterdayMembers' Photo GalleriesPast Photo of the Day GalleryPhotography

Dowek, Gilles (2012) The physical Church–Turing thesis and non-deterministic computation over the real numbers. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3349-3358 doi:10.1098/rsta.2011.0322

Advanced
   -   Only viewable:
Reference TypeJournal (article/letter/editorial)
TitleThe physical Church–Turing thesis and non-deterministic computation over the real numbers
JournalPhilosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
AuthorsDowek, GillesAuthor
Year2012 (July 28)Volume370
Issue1971
PublisherThe Royal Society
DOIdoi:10.1098/rsta.2011.0322Search in ResearchGate
Generate Citation Formats
Mindat Ref. ID663106Long-form Identifiermindat:1:5:663106:6
GUID0
Full ReferenceDowek, Gilles (2012) The physical Church–Turing thesis and non-deterministic computation over the real numbers. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3349-3358 doi:10.1098/rsta.2011.0322
Plain TextDowek, Gilles (2012) The physical Church–Turing thesis and non-deterministic computation over the real numbers. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3349-3358 doi:10.1098/rsta.2011.0322
In(2012, July) Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences Vol. 370 (1971) The Royal Society

See Also

These are possibly similar items as determined by title/reference text matching only.

Cooper, S. Barry, Abramsky, Samson (2012) The foundations of computation, physics and mentality: the Turing legacy. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3273-3276 doi:10.1098/rsta.2012.0221
Lloyd, Seth (2012) A Turing test for free will. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3597-3610 doi:10.1098/rsta.2011.0331
Marion, Jean-Yves (2012) From Turing machines to computer viruses. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3319-3339 doi:10.1098/rsta.2011.0332
Ekert, Artur, Kay, Alastair, Pope, James (2012) Turing, ciphers and quanta. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3418-3431 doi:10.1098/rsta.2011.0324
Smolensky, Paul (2012) Symbolic functions from neural computation. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3543-3569 doi:10.1098/rsta.2011.0334
Montalbán, Antonio (2012) Rice sequences of relations. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3464-3487 doi:10.1098/rsta.2011.0333
Dershowitz, Nachum, Falkovich, Evgenia (2012) Honest universality. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3340-3348 doi:10.1098/rsta.2012.0220
Floridi, Luciano (2012) Turing's three philosophical lessons and the philosophy of information. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3536-3542 doi:10.1098/rsta.2011.0325
Vazirani, Umesh, Vidick, Thomas (2012) Certifiable quantum dice. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3432-3448 doi:10.1098/rsta.2011.0336
Soare, Robert Irving (2012) Formalism and intuition in computability. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3277-3304 doi:10.1098/rsta.2011.0335
Hardy, Lucien (2012) The operator tensor formulation of quantum theory. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 370 (1971) 3385-3417 doi:10.1098/rsta.2011.0326
 
and/or  
Mindat.org is an outreach project of the Hudson Institute of Mineralogy, a 501(c)(3) not-for-profit organization.
Copyright © mindat.org and the Hudson Institute of Mineralogy 1993-2025, except where stated. Most political location boundaries are © OpenStreetMap contributors. Mindat.org relies on the contributions of thousands of members and supporters. Founded in 2000 by Jolyon Ralph.
To cite: Ralph, J., Von Bargen, D., Martynov, P., Zhang, J., Que, X., Prabhu, A., Morrison, S. M., Li, W., Chen, W., & Ma, X. (2025). Mindat.org: The open access mineralogy database to accelerate data-intensive geoscience research. American Mineralogist, 110(6), 833–844. doi:10.2138/am-2024-9486.
Privacy Policy - Terms & Conditions - Contact Us / DMCA issues - Report a bug/vulnerability Current server date and time: September 15, 2025 08:44:38
Go to top of page