Results 91 to 100 of about 1,570 (181)
Ordinary Truth in Tarski and Næss [PDF]
, 2016 Alfred Tarski seems to endorse a partial conception of truth, the T-schema, which he believes might be clarified by the application of empirical methods, specifically citing the experimental results of Arne Næss (1938a). The aim of this paper is to argue
Ulatowski, Joseph
core
Bioinformatics and computational biology in Poland. [PDF]
PLoS Comput Biol, 2013 Bujnicki JM, Tiuryn J.
europepmc +1 more source
The Tarski Theorems and Elementary Free Groups (Algebras, logics, languages and related areas) [PDF]
, 2018 Around 1945, Alfred Tarski proposed several questions concerning the elementary theory of non-abelian free groups. These remained open for 60 years until they were proved by O. Kharlampovich and A. Myasnikov and independently by Z. Sela.
Fine, Benjamin
core
Metamathematical discussion of some affine geometries
, 1979 L. Szczerba, A. Tarski
semanticscholar +1 more source
'Nobody could possibly misunderstand what a group is': a study in early twentieth-century group axiomatics. [PDF]
Arch Hist Exact Sci, 2017 Hollings CD.
europepmc +1 more source
The Sentential Calculus with Infinitely Long Expressions
, 1958 D. Scott, A. Tarski
semanticscholar +1 more source
Journal for the History of Analytical Philosophy, 2012 Happy accidents happen even in philosophy. Sometimes our arguments yield insights despite missing their target, though when they do others can often spot it more easily. Consider the work of Donald Davidson. Few did more to explore connections among mind,
Nathaniel Goldberg
doaj
Concepts and synonymy in the UMLS Metathesaurus. [PDF]
J Biomed Discov Collab, 2009 Merrill GH.
europepmc +1 more source
De Banach-Tarski paradox en het keuzeaxioma
, 2017 Het is mogelijk om een bal in vijf stukken te verdelen, welke na draaien en verplaatsen weer bij elkaar te zetten zijn in twee ballen identiek aan de eerste.
Mulder, I. (author)
core