Zobrazeno 1 - 10
of 649
pro vyhledávání: '"metamathematics"'
Publikováno v:
CDMTCS Research Report Series. Apr2023, Issue 570, p21-32. 12p.
Autor:
Povich, Mark, author
Publikováno v:
Rules to Infinity : The Normative Role of Mathematics in Scientific Explanation, 2025.
Externí odkaz:
https://doi.org/10.1093/oso/9780197679005.003.0008
Autor:
Woleński Jan
Publikováno v:
Studia Humana, Vol 13, Iss 1, Pp 39-44 (2024)
This paper briefly discusses the relations between logic and metalogic in history. Metalogic is understood as a reflection on logic in its various senses, particularly sensu stricto (formal, mathematical) and sensu largo (formal logic plus semantic p
Externí odkaz:
https://doaj.org/article/3bcf285af1ec486e98bb2445c51827c6
Autor:
Hasuo, Ichiro1 i.hasuo@acm.org
Publikováno v:
New Generation Computing. Jul2017, Vol. 35 Issue 3, p271-305. 35p.
Autor:
Friedman, Sy-David1 sdf@logic.univie.ac.at, Li, Wei1 wei.li@univie.ac.at, Wong, Tin1 tin.lok.wong@univie.ac.at
Publikováno v:
Archive for Mathematical Logic. Nov2016, Vol. 55 Issue 7/8, p899-924. 26p.
Autor:
Drugus, Ioachim1 ioachim.drugus@math.md
Publikováno v:
Computer Science Journal of Moldova. 2016, Vol. 24 Issue 1, p3-26. 24p.
Autor:
CARNEIRO, MARIO M.1
Publikováno v:
Journal of Formalized Reasoning. 2016, Vol. 9 Issue 1, p187-200. 14p.
Autor:
HÁJEK, PETR1 hajek@cs.cas.cz
Publikováno v:
Logic Journal of the IGPL. Jun2011, Vol. 19 Issue 3, p467-475. 9p.