Results 1 to 10 of about 127,379 (262)
Mathematical Proceedings of the Cambridge Philosophical Society, 2013 We define a new topos, the Herbrand topos, inspired by the modified realizability topos and our earlier work on Herbrand realizability. We also introduce the category of Herbrand assemblies and characterise these as the double-negation-separated objects ...
Berg, Benno van den
core +3 more sources
A category theory perspective on the Language of Thought: LoT is universal [PDF]
Frontiers in PsychologyThe Language of Thought (LoT) hypothesis proposes that some collections of mental states and processes are symbol systems to explain language-like systematic properties of thought.
Steven Phillips
doaj +2 more sources
Dirichlet Polynomials and Entropy
Entropy, 2021 A Dirichlet polynomial d in one variable y is a function of the form d(y)=anny+⋯+a22y+a11y+a00y for some n,a0,…,an∈N. We will show how to think of a Dirichlet polynomial as a set-theoretic bundle, and thus as an empirical distribution.
David I. Spivak, Timothy Hosgood
doaj +1 more source
Gelfand spectra in Grothendieck toposes using geometric mathematics [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 In the (covariant) topos approach to quantum theory by Heunen, Landsman and Spitters, one associates to each unital C*-algebra, A, a topos T(A) of sheaves on a locale and a commutative C*-algebra, a, within that topos.
Bas Spitters +2 more
doaj +1 more source
Топос ‘pодина – могилы’ в текстах периодических изданий Польской православной церкви
Zeszyty Cyrylo-Metodiańskie, 2022 The ‘Homeland – Graves’ Topos in Media Publications of the Polish Autocephalous Orthodox Church: The paper examines the ‘homeland – graves’ literary topos appearing in media publications of the Polish Orthodox Church.
Morawicki, Jan
doaj +1 more source
Historika : Studi di Storia Greca e Romana, 2020 Il contributo indaga il celebre topos ‘le città sono gli uomini’ a partire da Alceo, prestando particolare attenzione alla gnome corrispondente al fr. 828 attribuito al Frisso euripideo. Il confronto del frammento con le precedenti attestazioni del topos
Nadia Rosso
doaj +1 more source
Актуальные проблемы филологии и педагогической лингвистики, 2020 The purpose of this study was to analyze the linguistic features of the genre of the inaugural speech of the President of Russia. The last inaugural speech delivered by V.V. Putin on May 7, 2018. was the lexical material for the study.
Robert Szymula
doaj +1 more source
The Sierpinski Object in the Scott Realizability Topos [PDF]
, 2020 We study the Sierpinski object $\Sigma$ in the realizability topos based on Scott's graph model of the $\lambda$-calculus. Our starting observation is that the object of realizers in this topos is the exponential $\Sigma ^N$, where $N$ is the natural ...
de Jong, Tom, van Oosten, Jaap
core +3 more sources
Poetics of death in the poetry of Branko Radičević [PDF]
Zbornik Radova Filozofskog Fakulteta u Prištini, 2023 The poetry of Branko Radičević is filled with both lyrics honoring the joy of life and contemplations on death. Contrary to Jovan Skerlić's belief, the notion of death will not only serve as a marker in the early works of Radičević but will persist ...
Knežević Jasmina P.
doaj +1 more source
Fokus, 2016 This study aimed to identify and reveal the weakness of social control on rural communities, especially what happend to the children and adolescents who addicted to certain glue at the Desa Suka Negeri, Kecamatan Topos Kabupaten Lebong. This research was
Citra Rafika
doaj +1 more source