Results 101 to 110 of about 2,771 (212)
The Prolog Inference Model refutes Tarski Undefinability [PDF]
The generalized conclusion of the Tarski and Gödel proofs: All formal systems of greater expressive power than arithmetic necessarily have undecidable sentences.
Olcott, P.
core +1 more source
On Tarski Plank Problem and its Discrete Analogues
, 2008 In 1932 A. Tarski conjectured that if a convex body in R^N is covered by a finite collection of planks (strips of space between parallel hyperplanes), then the sum of widths of these planks must be at least the minimal width of the convex body.
Fukshansky, Lenny
core
Veritas, 2003 Este artigo trata da definição das noções semânticas. A partir de uma reconsideração das propostas de A. Tarski e E. Tugendhat, defende-se que as noções semânticas são complementares às noções ontológicas, no sentido de que a definição destas pressupõe e
Braida, Celso R.
doaj
On the characterisation of Mal'tsev and Jónsson-Tarski algebras
, 2003 There are very strong parallels between the properties of Mal'tsev and Jónsson-Tarski algebras, for example in the good behaviour of centrality and in the factorization of direct products.
Jonathan D.H. Smith, Smith, Jonathan
core +1 more source
Algebras, Graphs and Ordered Sets - ALGOS 2020 & the Mathematical Contributions of Maurice Pouzet. [PDF]
Order (Dordr), 2023 Couceiro M, Duffus D.
europepmc +1 more source
La paradoxa de Banach-Tarski [PDF]
, 2019 Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2019, Director: Juan Carlos Naranjo del Val[en] The Banach-Tarski paradox asserts that it is possible to duplicate the sphere and the closed ball by only ...
Guillén Mola, Ignasi
core
, 2019 Desde su publicación en 1944, La concepción semántica de la verdad y los fundamentos de la semántica, del lógico polaco Alfred Tarski, ha sido fuente de debates e interpretaciones.
Millares Gutiérrez, Laura Daniela
core
¿Es justificable todavía el uso de concepto de verdad en epistemología?
Letras, 2006 Este artículo prueba suficientemente que ni los deflacionismos ni los consensualismos afectan, hasta la fecha, la sustentabilidad de la convención T de Tarski como herramienta metodológica para la ciencia y la filosofía rigurosa. También explica por qué,
Luis Piscoya Hermoza
doaj
Application of Quantifier Elimination in Epidemiology. [PDF]
Acta Inform Med, 2023 Udovicic M.
europepmc +1 more source
Concepção semântica da verdade segundo Alfred Tarski [PDF]
, 2009 The objective of this dissertation is analyze the problem of truth as presented by Alfred Tarski in his essay The Semantic Conception of Truth . Other theories of truth are considered, explained and classified in the first chapter.
Pereira, Renato Machado
core