Máté Szabó
From MaRDI portal
Person:2117807
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Péter on Church's thesis, constructivity and computers | 2022-03-22 | Paper |
| Markov modeling of traffic flow in smart cities Annales Mathematicae et Informaticae | 2021-06-25 | Paper |
| Why post did [not have Turing's thesis] Outstanding Contributions to Logic | 2020-08-06 | Paper |
| Kalmár's argument for the independence of computer science | 2020-05-12 | Paper |
| Kalmár's argument against the plausibility of Church's thesis History and Philosophy of Logic | 2020-01-14 | Paper |
| Kalmár and Péter: Undecidability as a Consequence of Incompleteness Evolving Computability | 2015-10-20 | Paper |
Research outcomes over time
This page was built for person: Máté Szabó
