Ahmet Çevik
Hakemli Dergiler:
A. Çevik, Minimal Bounds and Members of Effectively Closed Sets, gönderildi.
A. Çevik, H. Kılıç, Majority Characterization of Frequency Emulated 1-D Cellular Automata via Logical Semantics, gönderildi.
A. Çevik, Raw Objects and the Axiom of Choice, gönderildi.
A. Çevik, ‘Almost all’ Theory of Moore’s Paradox, gönderildi.
A. Çevik, Descriptive Classification of Logical Identities by Analytic Complexity, gönderildi.
A. Çevik, Hierarchical Multiverse of Sets, Notre Dame J. Formal Logic 64(4): 545-570 (2023). arXiv preprint
A. Çevik, Z. Seskir, On the Cardinality of Future Worldlines in Discrete Spacetime Structures, Foundations of Physics, 53:61 (2023).
A. Çevik, S. Topal, Most-Intersection of Countable Sets, Journal of Applied Non-Classical Logics, 31(3-4), s. 343-354 (2021).
A. Çevik, An effectively closed set with no join property, DOI: 10.1002/malq.202000063, Mathematical Logic Quarterly, 67(3), s. 313-320 (2021).
A. Çevik, Palindromic characteristic of committed graphs and some model theoretic properties, Int. J. Foundations of Computer Science, 31(4), s. 483-498 (2020).
S. Topal, A. Çevik, Natural density and the quantifier Most, Journal of Logic, Language and Information, 29(4), s. 511-523 (2020).
A. Çevik, ω-circularity of Yablo’s paradox, Logic and Logical Philosophy, 29(3), s. 325-333 (2020).
S. Topal, A. Çevik, F. Smarandache, A New Group Decision Making Method with Distributed Indeterminacy Form under Neutrosophic Environment: Neutrosophic Social Choice Theory, IEEE Access, Cilt. 8, s. 42000-42009 (2020).
A. Çevik, Axiom of Neutrosophic Choice, International Journal of Unconventional Computing, Cilt 14, s. 467-478 (2019).
A. Çevik, S. Topal, F. Smarandache: Neutrosophic Computability and Enumeration, DOI: 10.3390/10110643, Symmetry, 10, 643 (2018).
A. Çevik, S. Topal, F. Smarandache: Neutrosophic Logic Based Quantum Computing, DOI:10.3390/sym10110656, Symmetry, 10, 656 (2018).
A. Çevik, Pi 0 1 choice classes, DOI 10.1002/malq201500055, Mathematical Logic Quarterly, Cilt. 62, Sayı 6, s. 563-574 (2016). pdf
A. Çevik, Antibasis theorems for Pi 0 1 classes and the jump hierarchy, DOI: 10.1007/s00153-012-0310-y, Archive for Mathematical Logic, Cilt 52, Sayı 1-2, s. 137-142, Springer, (2013). pdf
A. Çevik, Philosophy of Hilbert’s Formalization Program, Felsefe Dünyası, Sayı. 60, s. 265-280 (2014). docx
A. Çevik, On the possibility of supertasks, Beytulhikme An International Journal of Philosophy, Vol.5, pp.171-180 (2013). pdf
Konferans makaleleri:
A. Çevik, H. Kılıç, An Infinite Proper Subset of Regular Languages as a State Change Based Coupling of Finite Automata, International Conference on Computer Science and Applications 2015 (ICCSA 2015), University of California, Berkeley, Ekim 2015, Konferans kitapçığı, Cilt I, s. 55-58 (2015). pdf
A. Çevik, Is the Church-Turing Thesis the new Pythagoreanism?, 5th World Congress and School on Universal Logic, İstanbul Üniversitesi, 25-30 Haziran 2015, İstanbul, Türkiye. Konferans kitapçığı, s. 85-86 (2015). sunum
Kitaplar:
Bertrand Russell, Matematiksel Felsefeye Giriş (çev. Ahmet Çevik), İş Bankası Kültür Yayınları, basılacak.
A. Çevik, 50 Soruda Paradokslar, Bilim ve Gelecek Yayınları, 2023.
A. Çevik, Philosophy of Mathematics: Classic and Contemporary Studies, CRC Press/Taylor & Francis, 2021. errata
A. Çevik, Kuantum Hesaplama Kuramı, ODTÜ Yayıncılık, 2021.
A. Çevik, Matematik Felsefesi ve Matematiksel Mantık, Nesin Yayıncılık, 2019. errata (1.Baskı için)
Popüler yayınlar:
A. Çevik ve Z. Ercan: Nedir Bu `Modern’ Matematik?, Bilim ve Gelecek, Sayı 154, s. 71-81 (2016).
A. Çevik: Matematik Felsefesi: Mantıkçılık, Matematik Dünyası, Sayı 104, s. 50-53 (2016).
A. Çevik: Matematik Felsefesi: Sezgicilik, Matematik Dünyası, Sayı 103, s. 53-58 (2016).
A. Çevik: Matematik Felsefesi: Platonculuk, Matematik Dünyası, Sayı 102, s. 51-55 (2015).
A. Çevik: 19. ve 20. yüzyıl bilinebilirliğinin matematiğe yansımaları, Bilim ve Ütopya, Sayı 253, s. 62-65 (2015). pdf
A. Çevik: Kardinaller, Modeller ve Skolem Paradoksu, Matematik Dünyası, No 101, pp. 81-84. (2014).
A. Çevik: Sonluötesi Hesaplama, Matematik Dünyası, Sayı 95, s. 69-72 (2013).