EN
This paper presents an elementary logical proof of time irreversibility. To this effect, we construct a simple mathematical model of a process, which can demonstrably be shown to be irreversible in the sense that it cannot be reproduced in a backward direction by the very conditions of its construction. To model this process we employ a puzzle problem (paradox) referred to in the literature as “Austin’s Dog” or “Trojan Fly”.