A: Well, yes, Yuri asked me if I wanted to write a logic column, and suggested to talk to you for some inspiration. Q: Sure, we can talk. Do you already have an idea what you will write about? A: I was thinking, perhaps I could write about first-order topological properties. Q: I suppose that is first-order as in " first-order logic " , but what's about the topol-ogy? I'm afraid I do not know m...

A new simple construction of an aperiodic tile set based on self-referential (fixed point) argument is proposed. People often say about some discovery that it appeared “ahead of time”, meaning that it could be fully understood only in the context of ideas developed later. For the topic of this note, the construction of an aperiodic tile set based on the fixed-point (self-referential) approach, ...

Authors: Nadiia Artyukhova, ORCID: https://orcid.org/0000-0002-2408-5737 PhD, Associated Professor, Sumy State University, Ukraine Jan Krmela, https://orcid.org/0000-0001-9767-9870 University of Pardubice, Czech Republic Vladimira Krmelova, https://orcid.org/0000-0002-3822-3416 Alexander Dubcek Trencin, Slovak Dastan Ospanov, https://orcid.org/0000-0003-0401-180X Saken Seifullin Kazakh Agrotech...