Authors: Trlifajová, Kateřina

Subject Terms: Logic math.LO, History and Overview math.HO, FOS Mathematics, 03A05

Relation: https://dx.doi.org/10.1093/philmat/nkad021

Availability: https://doi.org/10.48550/arxiv.2311.0013310.1093/philmat/nkad021
https://arxiv.org/abs/2311.00133

Authors: Trlifajová, Kateřina

Subject Terms: Mathematics - History and Overview, 03A05

Relation: http://arxiv.org/abs/2306.03841; European Journal for Philosophy of Science (2022) 12:3

Availability: https://doi.org/10.1007/S13194-021-00429-7
http://arxiv.org/abs/2306.03841

Authors: Trlifajová, Kateřina^{Aff1, IDs13194021004297_cor1}

Superior Title: European Journal for Philosophy of Science. 12(1)

Authors: Trlifajová, Kateřina¹ (AUTHOR) katerina.trlifajova@fit.cvut.cz

Superior Title: Philosophia Mathematica. Feb2024, Vol. 32 Issue 1, p82-114. 33p.

Subject Terms: *INFINITE series (Mathematics)

Authors: Trlifajová, Kateřina^Aff1

Superior Title: Foundations of Science: The official Journal of the Association for Foundations of Science, Language and Cognition. 23(4):681-704

Authors: Russ, Steve^Aff5, Trlifajová, Kateřina^Aff6

Contributors: Zack, Maria, Series editor^{Aff1, Aff3}, Landry, Elaine, Series editor^{Aff2, Aff4}

Superior Title: Research in History and Philosophy of Mathematics : The CSHPM 2015 Annual Meeting in Washington, D. C.. :39-56

Authors: Trlifajová, Kateřina

Subject Terms: Mathematics - General Mathematics

Relation: http://arxiv.org/abs/1909.05345

Availability: http://arxiv.org/abs/1909.05345

Authors: Russ, Steve, Trlifajová, Kateřina

Subject Terms: Mathematics - History and Overview

Relation: http://arxiv.org/abs/1805.02237

Availability: http://arxiv.org/abs/1805.02237

Authors: Vopěnka, Petr^Aff1_12, Trlifajová, Kateřina^Aff1_12

Contributors: Floudas, Christodoulos A., editor^Aff1, Pardalos, Panos M., editor^Aff2

Superior Title: Encyclopedia of Optimization. :73-77

Authors: Trlifajová, Kateřina

Subject Terms: Mathematics - History and Overview

Relation: http://arxiv.org/abs/1711.01603

Availability: http://arxiv.org/abs/1711.01603

Authors: Vopěnka, Petr^{Aff1_0-306-48332-7_9}, Trlifajová, Kateřina^{Aff2_0-306-48332-7_9}

Contributors: Floudas, Christodoulos A., editor^{Aff1_0-306-48332-7}, Pardalos, Panos M., editor^{Aff2_0-306-48332-7}

Superior Title: Encyclopedia of Optimization. :43-47

Authors: Trlifajová, Kateřina

Superior Title: European Journal for Philosophy of Science ; volume 12, issue 1 ; ISSN 1879-4912 1879-4920

Subject Terms: History and Philosophy of Science, Philosophy

Availability: https://doi.org/10.1007/s13194-021-00429-7

Authors: Vopěnka, Petr, Trlifajová, Kateřina

Superior Title: Encyclopedia of Optimization ; page 73-77

Availability: https://doi.org/10.1007/978-0-387-74759-0_12

Authors: Trlifajová, Kateřina

Superior Title: ABA007 ; 26000605271

Subject Terms: Bolzano, Bernard, filozofie přírody, fyzika, logika, matematika, 113/119, (082)

Subject Geographic: Praha

Time: 1781-1848, 16, 51, 53

File Description: braille; s.

Relation: https://kramerius.lib.cas.cz/view/uuid:e7b3731c-a503-41f6-96f3-6f407e408187; ccnb:cnb001653385

Availability: https://kramerius.lib.cas.cz/view/uuid:e7b3731c-a503-41f6-96f3-6f407e408187

Authors: Trlifajová, Kateřina, Vopěnka, Petr

Subject Terms: msc:03E70, msc:90A06, msc:90A12, msc:91B06, msc:91B08, msc:91B16

File Description: application/pdf

Relation: mr:MR831805; zbl:Zbl 0583.90006; reference:[F] P. C. FISHBURN: Utility Theory for Decision Making.John Wiley, 1971. MR 0264810; reference:[NM] J. VON NEUMANN O. MORGENSTERN: Theory of Games and Economic Behavior.Princeton University Press, 1947. MR 0021298; reference:[V] P. VOPĚNKA: Mathematics in the Alternative Set Theory.Teubner Texte, Leipzig 1979. MR 0581368

Availability: http://hdl.handle.net/10338.dmlcz/106408

Authors: Trlifajová, Kateřina

Relation: https://kramerius.lib.cas.cz/view/uuid:d614baf2-7fdc-4c74-8225-5e96a632d2f0

Availability: https://kramerius.lib.cas.cz/view/uuid:d614baf2-7fdc-4c74-8225-5e96a632d2f0

Authors: Trlifajová , Kateřina

Relation: https://kramerius.lib.cas.cz/view/uuid:1b396de3-931b-47e0-b922-ac9ac9e38d57

Availability: https://kramerius.lib.cas.cz/view/uuid:1b396de3-931b-47e0-b922-ac9ac9e38d57

Authors: Trlifajová, Kateřina

Subject Terms: Petr Vopěnka, infinity, continuum, Georg Cantor, Edmund Husserl, mo­nad, horizon, indeterminacy

Relation: https://kramerius.lib.cas.cz/view/uuid:060268c0-6553-4ee5-86bf-7ff3c10cf857

Availability: https://kramerius.lib.cas.cz/view/uuid:060268c0-6553-4ee5-86bf-7ff3c10cf857

Authors: Dominik Šmejkal

Contributors: Surynek Pavel, Trlifajová Kateřina

Subject Terms: genetický algoritmus, konečný automat, řízení mobilních agentů, rozhodovací strom, kooperativní plánování, multiagentní hledání cest, genetic algorithm, finite automaton, mobile agent management, decision tree, cooperative planning, multi-agent pathfinding

File Description: application/pdf

Relation: KOS-762877450505; http://hdl.handle.net/10467/90285

Availability: http://hdl.handle.net/10467/90285

Authors: Martin Slávik

Contributors: Trlifajová Kateřina, Šolcová Alena

Subject Terms: Diagonální lemma, Diagonální metoda, Paradox lháře, Gödelova věta, Cantorova věta, Cantorův paradox, Turingův stroj, Problém zastavení, Diagonal lemma, Diagonal method, Liar's Paradox, Gödel's theorem, Cantor's theorem, Cantor's paradox, Turing Machine, Halting problem

File Description: application/pdf

Relation: KOS-862365974505; http://hdl.handle.net/10467/88804

Availability: http://hdl.handle.net/10467/88804