乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T00:31:16Z","timestamp":1725582676682},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642208317"},{"type":"electronic","value":"9783642208324"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-20832-4_12","type":"book-chapter","created":{"date-parts":[[2011,4,27]],"date-time":"2011-04-27T22:59:49Z","timestamp":1303945189000},"page":"181-190","source":"Crossref","is-referenced-by-count":0,"title":["Cantor\u2019s Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond"],"prefix":"10.1007","author":[{"given":"Vladik","family":"Kreinovich","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Precise Numerical Analysis Using C++","author":"O. Aberth","year":"1998","unstructured":"Aberth, O.: Precise Numerical Analysis Using C++. Academic Press, New York (1998)"},{"key":"12_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68952-9","volume-title":"Foundations of Constructive Mathematics","author":"M.J. Beeson","year":"1985","unstructured":"Beeson, M.J.: Foundations of Constructive Mathematics. Springer, New York (1985)"},{"key":"12_CR3","volume-title":"Foundations of Constructive Analysis","author":"E. Bishop","year":"1967","unstructured":"Bishop, E.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)"},{"key":"12_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-61667-9","volume-title":"Constructive Analysis","author":"E. Bishop","year":"1985","unstructured":"Bishop, E., Bridges, D.S.: Constructive Analysis. Springer, New York (1985)"},{"key":"12_CR5","volume-title":"Constructive Functional Analysis","author":"D.S. Bridges","year":"1979","unstructured":"Bridges, D.S.: Constructive Functional Analysis. Pitman, London (1979)"},{"key":"12_CR6","doi-asserted-by":"publisher","DOI":"10.1002\/9781118033357","volume-title":"Techniques of Constructive Analysis","author":"D.S. Bridges","year":"2006","unstructured":"Bridges, D.S., Via, S.L.: Techniques of Constructive Analysis. Springer, New York (2006)"},{"key":"#cr-split#-12_CR7.1","unstructured":"Brouwer, L.E.J.: Over de Grondslagen der Wiskunde, Ph.D. thesis, Universiteit van Amsterdam (1907)"},{"key":"#cr-split#-12_CR7.2","unstructured":"in Dutch, English translation in Heyting, A. (ed.), Collected Works of L.E.J. Brouwer. I: Philosophy and Foundations of Mathematics, pp. 11-101. North-Holland, Amsterdam (1975)"},{"key":"12_CR8","first-page":"1","volume":"154","author":"L.E.J. Brouwer","year":"1924","unstructured":"Brouwer, L.E.J.: \u00dcber die Bedeutung des Satzes vom ausgeschlossenen Dritten in der Mathematik, insbesondere in der Funktionentheorie. Journal f\u00fcr die reine und angewandte Mathematik\u00a0154, 1\u20137 (1924) (in German); English translation: On the significance of the principle of excluded middle in mathematics, especially in function theory. In: van Heijenoort, J. (ed.), A Source Book in Mathematical Logic, 1879-1931, From Frege to G\u00f6del, pp. 334\u2013345. Harvard University Press, Cambridge (1967)","journal-title":"Journal f\u00fcr die reine und angewandte Mathematik"},{"key":"12_CR9","volume-title":"The Geometry of Geodesics","author":"H. Busemann","year":"2005","unstructured":"Busemann, H.: The Geometry of Geodesics. Dover Publ., New York (2005)"},{"key":"12_CR10","volume-title":"Ideals, Varieties, and Algorithms","author":"D.A. Cox","year":"1997","unstructured":"Cox, D.A., Little, J.B., O\u2019Shea, D.: Ideals, Varieties, and Algorithms. Springer, New York (1997)"},{"key":"12_CR11","first-page":"20","volume":"16","author":"M.G. Gel\u2019fond","year":"1969","unstructured":"Gel\u2019fond, M.G.: On constructive pseudofunctions. Proceedings of the Leningrad Mathematical Institute of the Academy of Sciences\u00a016, 20\u201327 (1969) (in Russian); English translation in: Seminars in Mathematics Published by Consultants Bureau (New York-London) 16, 7\u201310 (1971)","journal-title":"Proceedings of the Leningrad Mathematical Institute of the Academy of Sciences"},{"key":"12_CR12","first-page":"5","volume":"32","author":"M.G. Gel\u2019fond","year":"1972","unstructured":"Gel\u2019fond, M.G.: Relationship between the classical and constructive developments of mathematical analysis. Proceedings of the Leningrad Mathematical Institute of the Academy of Sciences\u00a032, 5\u201311 (1972) (in Russian); English translation in Journal of Soviet Mathematics 6(4), 347\u2013352 (1976).","journal-title":"Proceedings of the Leningrad Mathematical Institute of the Academy of Sciences"},{"key":"12_CR13","unstructured":"Gelfond, M.G.: Classes of formulas of classical analysis which are consistent with the constructive interpretation, PhD Dissertation, Leningrad Mathematical Institute of the Academy of Sciences (1975) (in Russian)"},{"key":"12_CR14","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Proceedings of the Fifth International Conference on Logic Programming ICLP, pp. 1070\u20131080 (1988)"},{"key":"12_CR15","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical negation in logic programs and disjunctive databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"#cr-split#-12_CR16.1","unstructured":"Hilbert, D.: Zur Theorie der algebraischen Gebilde. Nachrichten von der K\u00f6niglichen Gesellschaft der Wissenschaften und der Georg- Augusts-Universit\u00e4t zu G\u00f6ttingen, 450-457 (1988)"},{"key":"#cr-split#-12_CR16.2","doi-asserted-by":"crossref","unstructured":"25-34, 423-430 (1889) (in German)","DOI":"10.1002\/mmnd.48018890253"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/BF01208503","volume":"36","author":"D. Hilbert","year":"1890","unstructured":"Hilbert, D.: \u00dcber die Theorie der algebraischen Formen. Mathematische Annalen\u00a036, 473\u2013534 (1890) (in German)","journal-title":"Mathematische Annalen"},{"key":"#cr-split#-12_CR18.1","unstructured":"Hilbert, D.: \u00dcber die theorie der algebraischen invarianten. Nachrichten von der K\u00f6niglichen Gesellschaft der Wissenschaften und der Georg- Augusts-Universit\u00e4t zu G\u00f6ttingen, 232-241 (1891)"},{"key":"#cr-split#-12_CR18.2","unstructured":"6-16, 439-448 (1892) (in German)"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/BF01444162","volume":"42","author":"D. Hilbert","year":"1893","unstructured":"Hilbert, D.: \u00dcber die vollen Invariantensysteme. Mathematische Annalen\u00a042, 313\u2013370 (1893) (in German)","journal-title":"Mathematische Annalen"},{"key":"12_CR20","volume-title":"Theory of Algebraic Invariants","author":"D. Hilbert","year":"1993","unstructured":"Hilbert, D.: Theory of Algebraic Invariants. Cambrdige University Press, Cambridge (1993) (Lecture Notes from 1897)"},{"key":"12_CR21","unstructured":"Kohlenbach, U.: Theorie der majorisierbaren und stetigen Funktionale und ihre Anwendung bei der Extraktion von Schranken aus inkonstruktiven Beweisen: Effektive Eindeutigkeitsmodule bei besten Approximationen aus ineffektiven Eindeutigkeitsbeweisen, Ph.D. Dissertation, Frankfurt am Main (1990) (in German)"},{"issue":"1","key":"12_CR22","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0168-0072(93)90213-W","volume":"64","author":"U. Kohlenbach","year":"1993","unstructured":"Kohlenbach, U.: Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vall\u00e9e Poussin\u2019s proof for Chebycheff approximation. Annals for Pure and Applied Logic\u00a064(1), 27\u201394 (1993)","journal-title":"An unwinding of de La Vall\u00e9e Poussin\u2019s proof for Chebycheff approximation. Annals for Pure and Applied Logic"},{"key":"12_CR23","volume-title":"Applied Proof Theory: Proof Interpretations and their Use in Mathematics","author":"U. Kohlenbach","year":"2008","unstructured":"Kohlenbach, U.: Applied Proof Theory: Proof Interpretations and their Use in Mathematics. Springer, Heidelberg (2008)"},{"key":"12_CR24","first-page":"646","volume":"32","author":"A.N. Kolmogorov","year":"1925","unstructured":"Kolmogorov, A.N.: O printsipe tertium non datur. Matematicheskij Sbornik\u00a032, 646\u2013667 (1925) (in Russian); English translation: On the principle of excluded middle. In: A Source Book in Mathematical Logic, 1879-1931, van Heijenoort, J. (ed.), From Frege to G\u00f6del, pp. 414\u2013437. Harvard University Press, Cambridge (1967)","journal-title":"Matematicheskij Sbornik"},{"key":"12_CR25","first-page":"19","volume-title":"Proceedings of the 4th Student Mathematical Conference","author":"V. Kreinovich","year":"1975","unstructured":"Kreinovich, V.: Uniqueness implies algorithmic computability. In: Proceedings of the 4th Student Mathematical Conference, pp. 19\u201321. Leningrad University, Leningrad (1975) (in Russian)"},{"key":"12_CR26","volume-title":"D.S.: Constrictive Functional Analysis","author":"V. Kreinovich","year":"1979","unstructured":"Kreinovich, V.: Reviewer\u2019s remarks in a review of Bridges. In: D.S.: Constrictive Functional Analysis. Pitman, London (1979); Zentralblatt f\u00fcr Mathematik 401, 22\u201324 (1979)"},{"key":"12_CR27","unstructured":"Kreinovich, V.: Categories of space-time models, Ph.D. dissertation, Novosibirsk, Soviet Academy of Sciences, Siberian Branch, Institute of Mathematics (1979) (in Russian)"},{"key":"12_CR28","unstructured":"Kreinovich, V.: Physics-motivated ideas for extracting efficient bounds (and algorithms) from classical proofs: beyond local compactness, beyond uniqueness. In: Abstracts of the Conference on the Methods of Proof Theory in Mathematics, Max-Planck Institut f\u00fcr Mathematik, Bonn, Germany, June 3-10, p. 8 (2007)"},{"key":"12_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-2793-7","volume-title":"Computational complexity and feasibility of data processing and interval computations","author":"V. Kreinovich","year":"1998","unstructured":"Kreinovich, V., Lakeyev, A., Rohn, J., Kahl, P.: Computational complexity and feasibility of data processing and interval computations. Kluwer, Dordrecht (1998)"},{"key":"12_CR30","doi-asserted-by":"crossref","DOI":"10.1090\/mmono\/060","volume-title":"Lectures on Constructive Mathematical Analysis","author":"B.A. Kushner","year":"1984","unstructured":"Kushner, B.A.: Lectures on Constructive Mathematical Analysis. Amer. Math. Soc., Providence (1984)"},{"issue":"13","key":"12_CR31","first-page":"1040","volume":"245","author":"D. Lacombe","year":"1957","unstructured":"Lacombe, D.: Les ensembles r\u00e9cursivement ouvert ou ferm\u00e9s, et leurs applications \u00e0 l\u2019analyse r\u00e9curslve. Compt. Rend.\u00a0245(13), 1040\u20131043 (1957)","journal-title":"Compt. Rend."},{"key":"12_CR32","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/BF01117468","volume":"1","author":"V.A. Lifschitz","year":"1973","unstructured":"Lifschitz, V.A.: Investigation of constructive functions by the method of fillings. J.\u00a0Soviet Math.\u00a01, 41\u201347 (1973)","journal-title":"J.\u00a0Soviet Math."},{"key":"12_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01564521","volume":"75","author":"M. Noether","year":"1914","unstructured":"Noether, M.: Paul Gordan. Mathematisce Annalen\u00a075, 1\u201341 (1914)","journal-title":"Mathematisce Annalen"},{"key":"12_CR34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in Analysis and Physics","author":"M. Pour-El","year":"1989","unstructured":"Pour-El, M., Richards, J.: Computability in Analysis and Physics. Springer, New York (1989)"},{"key":"12_CR35","doi-asserted-by":"crossref","DOI":"10.1515\/9783112451144","volume-title":"Das Kontinuum","author":"H. Weyl","year":"1918","unstructured":"Weyl, H.: Das Kontinuum. Veyt, Leipzig (1918) (in German); English translation: The Continuum: A Critical Examination of the Foundation of Analysis. Dover Publ., New York (1994)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20832-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,22]],"date-time":"2021-11-22T03:58:02Z","timestamp":1637553482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20832-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642208317","9783642208324"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20832-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}