Results for 'A. N. Kolmogorov'

1000+ found
Order:
  1. Grundlagen der Wahrscheinlichkeitsrechnung.A. N. Kolmogorov - 1933 - Springer: Berlin.
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  2. Matematicheskai︠a︡ logika: vvedenie v matematicheskui︠u︡ logiku: doklady i soobshchenii︠a︡.A. N. Kolmogorov - 2015 - Moskva: URSS ;.
     
    Export citation  
     
    Bookmark  
  3. Zur Deutung der intuitionistischen Logik.A. N. Kolmogorov - 1932 - Mathematische Zeitschrift 35:58-65.
  4.  2
    Complete metric Boolean algebras.A. N. Kolmogorov - 1995 - Philosophical Studies 77 (1):57 - 66.
  5. Algorithm, Information.A. N. Kolmogorov - forthcoming - Complexity.
     
    Export citation  
     
    Bookmark  
  6. Mathematics and Logic-Mathematics of the 19th Century.A. N. Kolmogorov, A. P. Yushkevich & I. Grattanguinness - 1999 - Annals of Science 56 (3):323.
  7.  13
    A. N. Kolmogorov and A. P. Yushkevich , Mathematics of the 19th Century: Mathematical Logic, Algebra, Number Theory, Probability Theory. Basel, Boston, Berlin: Birkhäuser, 1992. Pp. xii + 308. ISBN 3-7643-2552-6. SFr. 198.00. [REVIEW]Ben Marsden - 1994 - British Journal for the History of Science 27 (2):236-237.
  8. Matematika: Ee soderžanie, metody, i značenie.A. D. Aleksandrov, A. N. Kolmogorov, M. A. Lavrent'ev, T. Bartha, S. H. Gould & K. Hirsh - 1983 - Studies in Soviet Thought 25 (3):233-241.
    No categories
     
    Export citation  
     
    Bookmark  
  9.  15
    Size versus electronic factors in transition metal carbide and TCP phase stability.D. G. Pettifor, B. Seiser, E. R. Margine, A. N. Kolmogorov & R. Drautz - 2013 - Philosophical Magazine 93 (28-30):3907-3924.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10.  17
    A. N. Kolmogorov and V. A. Uspeńskij. K oprédéléniú algoritma . Uspéhi matématičéskih nauk, vol. 13 no. 4 , pp. 3–28.Elliott Mendelson - 1973 - Journal of Symbolic Logic 38 (4):655.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  11.  9
    The Contributions of A. N. Kolmogorov to the theory of turbulence.Javier Jiménez - 2004 - Arbor 178 (704):589-606.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  11
    Review: A. N. Kolmogorov, V. A. Uspenskij, On the Definition of an Algorithm. [REVIEW]Elliott Mendelson - 1973 - Journal of Symbolic Logic 38 (4):655-655.
  13.  10
    Breve introducción a la obra de A.N. Kolmogorov.Francisco Javier Girón - 2004 - Arbor 178 (704):583-588.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  8
    L. A. Levin. Some theorems on the algorithmic approach to probability theory and information theory (1971 Dissertation directed by A. N. Kolmogorov). Annals of Pure and Applied Logic, vol. 162 (2010), pp. 224–235. [REVIEW]Jan Reimann - 2013 - Bulletin of Symbolic Logic 19 (3):397-399.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  4
    Reviewed Work(s): Some theorems on the algorithmic approach to probability theory and information theory (1971 Dissertation directed by A. N. Kolmogorov). Annals of Pure and Applied Logic, vol. 162 by L. A. Levin. [REVIEW]Review by: Jan Reimann - 2013 - Bulletin of Symbolic Logic 19 (3):397-399,.
  16.  9
    Reviewed Work(s): Some theorems on the algorithmic approach to probability theory and information theory (1971 Dissertation directed by A. N. Kolmogorov). Annals of Pure and Applied Logic, vol. 162 by L. A. Levin. [REVIEW]Jan Reimann - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
    Review by: Jan Reimann The Bulletin of Symbolic Logic, Volume 19, Issue 3, Page 397-399, September 2013.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  9
    Trudy po nematematike: s prilozheniem semioticheskikh poslaniĭ A.N. Kolmogorova k avtoru i ego druzʹi︠a︡m: v dvukh tomakh.V. A. Uspenskiĭ - 2002 - Moskva: OGI. Edited by A. N. Kolmogorov.
    t. 1. Filosofii︠a︡ ; Izbrannye predislovii︠a︡ ; I︠A︡zykoznanie -- t. 2. Filologii︠a︡ ; Vospominanii︠a︡ i nabli︠u︡denii︠a︡ ; Pami︠a︡ti uchiteleĭ i kolleg ; Prilozhenie : A.N. Kolmogorov, semioticheskie poslanii︠a︡.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18. Towards Helmholtz’s electron vortex from Kolmogorov’s theory of turbulence and a new model of origination of charge and matter.Victor Christianto, Florentin Smarandache & Robert N. Boyd - manuscript
    In the present paper we discuss: a) how Hilbert’s unification program failed completely, and b) we outline a new electron model based on Helmholtz’s electron vortex and Kolmogorov theory of turbulence. Novelty aspect: we discuss among other things, electron capture event, and von Karman vortex street. We also discuss a new model of origination of charge and matter. This paper is a sequel to a preceding paper on similar theme.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  91
    Propensities in a non-deterministic physics.N. Gisin - 1991 - Synthese 89 (2):287 - 297.
    Propensities are presented as a generalization of classical determinism. They describe a physical reality intermediary between Laplacian determinism and pure randomness, such as in quantum mechanics. They are characterized by the fact that their values are determined by the collection of all actual properties. It is argued that they do not satisfy Kolmogorov axioms; other axioms are proposed.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  20.  32
    Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
    In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   115 citations  
  21.  9
    Fenomenologii︠a︡ rat︠s︡ionalʹnoĭ voli.V. N. Zhelezni︠a︡k - 1997 - Permʹ: Permskiĭ gos. tekhn. universitet.
    Direct download  
     
    Export citation  
     
    Bookmark  
  22.  7
    Medium: opyt ontologicheskogo istolkovanii︠a︡ kantovskoĭ filosofii.V. N. Zhelezni︠a︡k - 1997 - Permʹ: Permskiĭ gos. tekhn. universitet.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  8
    Metafizika voli v pri︠a︡moĭ i obratnoĭ perspektive.V. N. Zhelezni︠a︡k - 1997 - Permʹ: Permskiĭ gos. tekhn. universitet.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  12
    No-Forcing and No-Matching Theorems for Classical Probability Applied to Quantum Mechanics.Ehtibar N. Dzhafarov & Janne V. Kujala - 2014 - Foundations of Physics 44 (3):248-265.
    Correlations of spins in a system of entangled particles are inconsistent with Kolmogorov’s probability theory (KPT), provided the system is assumed to be non-contextual. In the Alice–Bob EPR paradigm, non-contextuality means that the identity of Alice’s spin (i.e., the probability space on which it is defined as a random variable) is determined only by the axis $\alpha _{i}$ chosen by Alice, irrespective of Bob’s axis $\beta _{j}$ (and vice versa). Here, we study contextual KPT models, with two properties: (1) (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  34
    Ignition’s glow: Ultra-fast spread of global cortical activity accompanying local “ignitions” in visual cortex during conscious visual perception.N. Noy, S. Bickel, E. Zion-Golumbic, M. Harel, T. Golan, I. Davidesco, C. A. Schevon, G. M. McKhann, R. R. Goodman, C. E. Schroeder, A. D. Mehta & R. Malach - 2015 - Consciousness and Cognition 35 (C):206-224.
  26.  11
    Realization of Intuitionistic Logic by Proof Polynomials.Sergei N. Artemov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):285-301.
    ABSTRACT In 1933 Gödel introduced an axiomatic system, currently known as S4, for a logic of an absolute provability, i.e. not depending on the formalism chosen ([God 33]). The problem of finding a fair provability model for S4 was left open. The famous formal provability predicate which first appeared in the Gödel Incompleteness Theorem does not do this job: the logic of formal provability is not compatible with S4. As was discovered in [Art 95], this defect of the formal provability (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. al-Falsafah: āfāquhā wa-dawruhā fī bināʼ al-insān wa-al-ḥaḍārah.Ḥusām Muḥyī al-Dīn Ālūsī - 2010 - Baghdād: Bayt al-Ḥikmah.
    Philosophy; philosophical theology; philosophical anthropology; history.
     
    Export citation  
     
    Bookmark  
  28.  9
    Muntakhabātī az ās̲ār-i ḥukamā-yi ilāhī-i Īrān: az ʻaṣr-i Mīr Dāmād va Mīr Findariskī tā zamān-i ḥāẓir.Jalāl al-Dīn Āshtiyānī (ed.) - 1984 - Qum: Markaz-i Intishārāt-i Daftar-i Tablīghāt-i Islāmī.
  29.  17
    Kolmogorov Complexity and Noncomputability.George Davie - 2002 - Mathematical Logic Quarterly 48 (4):574-581.
    We use a method suggested by Kolmogorov complexity to examine some relations between Kolmogorov complexity and noncomputability. In particular we show that the method consistently gives us more information than conventional ways of demonstrating noncomputability . Also, many sets which are awkward to embed into the halting problem are easily shown noncomputable. We also prove a gap-theorem for outputting consecutive integers and find, for a given length n, a statement of length n with maximal proof length.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Jamʻ al-wasāʼil fī sharḥ al-Shamāʼil.Qārī al-Harawī & ʻAlī ibn Sulṭān Muḥammad - 2019 - al-Riyāḍ: Dār Ibn al-Qayyim lil-Nashr wa-al-Tawzīʻ. Edited by Muḥammad Ḥusayn Dimyāṭī.
     
    Export citation  
     
    Bookmark  
  31. Bawākīr al-falsafah qabla Ṭālīs, aw, Min al-mīthūlūjiyā ilá al-falsafah ʻinda al-Yūnān.Ḥusām Muḥyī al-Dīn Ālūsī - 1981 - Bayrūt: al-Muʼassasah al-ʻArabīyah.
    No categories
     
    Export citation  
     
    Bookmark  
  32. Chelovek v zerkale kulʹtury i obrazovanii︠a︡.Li︠u︡dmila Panteleevna Bueva, A. G. Spirkin, E. A. Simoni︠a︡n & I. A. Birich (eds.) - 1989 - Moskva: Filosofskoe ob-vo SSSR, Moskovskoe otd-nie.
    No categories
     
    Export citation  
     
    Bookmark  
  33. al-Dīn wa-al-ilḥād fī zaman al-ḥadāthah wa-mā baʻdahā: maqālāt fī falsafat al-Dīn.Zayn al-ʻĀbidīn & ʻAbd al-Mutaʻāl - 2016 - [al-Kharṭūm?]: Hayʼat al-Aʻmāl al-Fikrīyah.
    No categories
     
    Export citation  
     
    Bookmark  
  34. Jān Dīvīy.Tarjumah-ʼi A. Ḥ ĀRyāNʹpūR - 1966 - In Saxe Commins, Robert N. Linscott, Abū Ṭālib Ṣārimī, Riz̤ā Ṣaddūqī, Hūshang Āz̲arī & Amīr Ḥusayn Āryānʹpūr (eds.), Falsafah-ʼi ijtimāʻī =. Tihrān: Bungāh-i Tarjumah va Nashr-i Kitāb.
     
    Export citation  
     
    Bookmark  
  35. al-Zamān fī al-fikr al-dīnī wa-al-falsafī al-qadīm.Ḥusām Muḥyī al-Dīn Ālūsī - 1980 - Bayrūt: al-Muʼassasah al-ʻArabīyah lil-Dirāsāt wa-al-Nashr.
     
    Export citation  
     
    Bookmark  
  36. Aʻmāl al-Muʼtamar al-Falsafī al-sābiʻ: falsafat al-ḥiwār--- ruʼyah muʻāṣirah.Ḥusām Muḥyī al-Dīn Ālūsī & Hudayl Saʻdī Mūsá (eds.) - 2008 - Baghdād: Bayt al-Ḥikmah.
    No categories
     
    Export citation  
     
    Bookmark  
  37. Aʻmāl al-Muʼtamar al-Falsafī al-thāmin li-Bayt al-Ḥikmah: azmat al-falsafah fī al-ʻĀlam al-ʻArabī.Ḥusām Muḥyī al-Dīn Ālūsī & Hudayl Saʻdī Mūsá (eds.) - 2009 - Baghdād: Bayt al-Ḥikmah.
    No categories
     
    Export citation  
     
    Bookmark  
  38.  10
    Kolmogorov–Loveland randomness and stochasticity.Wolfgang Merkle, Joseph S. Miller, André Nies, Jan Reimann & Frank Stephan - 2006 - Annals of Pure and Applied Logic 138 (1):183-210.
    An infinite binary sequence X is Kolmogorov–Loveland random if there is no computable non-monotonic betting strategy that succeeds on X in the sense of having an unbounded gain in the limit while betting successively on bits of X. A sequence X is KL-stochastic if there is no computable non-monotonic selection rule that selects from X an infinite, biased sequence.One of the major open problems in the field of effective randomness is whether Martin-Löf randomness is the same as KL-randomness. Our (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  39.  11
    Kolmogorov complexity and set theoretical representations of integers.Marie Ferbus-Zanda & Serge Grigorieff - 2006 - Mathematical Logic Quarterly 52 (4):375-403.
    We reconsider some classical natural semantics of integers in the perspective of Kolmogorov complexity. To each such semantics one can attach a simple representation of integers that we suitably effectivize in order to develop an associated Kolmogorov theory. Such effectivizations are particular instances of a general notion of “self-enumerated system” that we introduce in this paper. Our main result asserts that, with such effectivizations, Kolmogorov theory allows to quantitatively distinguish the underlying semantics. We characterize the families obtained (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  12
    The Kolmogorov complexity of random reals.Liang Yu, Decheng Ding & Rodney Downey - 2004 - Annals of Pure and Applied Logic 129 (1-3):163-180.
    We investigate the initial segment complexity of random reals. Let K denote prefix-free Kolmogorov complexity. A natural measure of the relative randomness of two reals α and β is to compare complexity K and K. It is well-known that a real α is 1-random iff there is a constant c such that for all n, Kn−c. We ask the question, what else can be said about the initial segment complexity of random reals. Thus, we study the fine behaviour of (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  41. Ñān̲ak kaḷañciyam.Karuṇaiyān̲anta Ñān̲apūpati - 1999 - Cen̲n̲ai: Vir̲pan̲ai urimal maṭṭum, Pāri Nilaiyam.
     
    Export citation  
     
    Bookmark  
  42.  39
    Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   365 citations  
  43. Process and Reality: An Essay in Cosmology.A. N. Whitehead - 1929 - Mind 39 (156):466-475.
    No categories
     
    Export citation  
     
    Bookmark   311 citations  
  44.  13
    Enumerations of the Kolmogorov Function.Richard Beigel, Harry Buhrman, Peter Fejer, Lance Fortnow, Piotr Grabowski, Luc Longpré, Andrej Muchnik, Frank Stephan & Leen Torenvliet - 2006 - Journal of Symbolic Logic 71 (2):501 - 528.
    A recursive enumerator for a function h is an algorithm f which enumerates for an input x finitely many elements including h(x), f is a k(n)-enumerator if for every input x of length n, h(x) is among the first k(n) elements enumerated by f. If there is a k(n)-enumerator for h then h is called k(n)-enumerable. We also consider enumerators which are only A-recursive for some oracle A. We determine exactly how hard it is to enumerate the Kolmogorov function, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  45. Principia mathematica.A. N. Whitehead & B. Russell - 1910-1913 - Revue de Métaphysique et de Morale 19 (2):19-19.
    No categories
     
    Export citation  
     
    Bookmark   231 citations  
  46. Śāṅkara Vedānta: eka anuśīlana: sandarbha, śāstra, evam loka.Ramākānta Āṅgirasa - 1982 - Karanāla: Naṭarāja Pabliśiṅga Hāusa.
     
    Export citation  
     
    Bookmark  
  47. The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   290 citations  
  48. Wāqiʻ al-falsafah fī awākhir al-qarn al-ʻishrīn wa-bidāyat al-qarn al-ḥādī wa-al-ʻishrīn: aʻmāl al-Muʼtamar al-Falsafī al-ʻāshir li-Qism al-Dirāsāt al-Falsafīyah fī Bayt al-Ḥikmah 24/11/2010.Ḥusām Muḥyī al-Dīn Ālūsī & Hudayl Saʻdī Mūsá (eds.) - 2011 - Baghdād: Bayt al-Ḥikmah.
    No categories
     
    Export citation  
     
    Bookmark  
  49. Time and modality.A. N. Prior - 1957 - Revue Philosophique de la France Et de l'Etranger 148:114-115.
     
    Export citation  
     
    Bookmark   230 citations  
  50. Papers on time and tense.A. N. Prior - 1968 - Revue Philosophique de la France Et de l'Etranger 160:500-501.
     
    Export citation  
     
    Bookmark   191 citations  
1 — 50 / 1000