Zobrazeno 1 - 5
of 5
pro vyhledávání: '"ARENGAS, GUSTAVO"'
Autor:
Arengas, Gustavo
Software bugs have caused enormous economic and human loss in recent years. Certified programming seeks to solve this problem by developing languages where we can make demonstrations that guarantee that our programs work properly. However, the rapid
Externí odkaz:
http://arxiv.org/abs/2411.00242
Autor:
ARENGAS, GUSTAVO1
Publikováno v:
Revista Colombiana de Matemáticas. 2019, Vol. 53 Issue 2, p165-184. 20p.
La presente selección de textos ofrece una muestra significativa de algunos resultados de las investigaciones de largo alcance sobre el Pragmaticismo del pensador y científico norteamericano Charles Sanders Peirce (1839-1914), emprendida por expert
Autor:
Cornelis de Waal
Charles Sanders Peirce (1839-1914) is likely the greatest philosophical thinker America has ever produced. His contributions to philosophy would inspire other American philosophers such as William James and John Dewey. Peirce's contributions, however
Autor:
Fernando Zalamea
The book explores Peirce's non standard thoughts on a synthetic continuum, topological logics, existential graphs, and relational semiotics, offering full mathematical developments on these areas. More precisely, the following new advances are offere