Results 1 to 10 of about 391,075 (200)

Clustering Productive Palm Land using the K- Means Clustering Algorithm

open access: yesJournal of Innovation Information Technology and Application, 2023
Indonesia is a country with a tropical climate that has many oil palm plantations. CV. Alkema Deo is one of the companies that manage oil palm plantations in Sampit City, East Kotawaringin Regency, Central Kalimantan. CV.
Geofanny Widianto Sihite   +1 more
doaj   +1 more source

Mantık - Matematik İlişkisi Bağlamında Geçerli Kıyas Kalıplarının Venn Şeması ile Gösterimi ve Yorumlanması

open access: yesCumhuriyet İlahiyat Dergisi, 2016
“Mantık - Matematik ilişkisi bağlamında geçerli kıyas kalıplarının Venn şeması ile gösterimi ve yorumlanması” adını taşıyan bu çalışmada kıyas kalıplarını matematiksel bir gösterim şekli ile daha sembolik hale getirmeye ve farklı bir bakış açısı sunmaya ...
Kamil Kömürcü, Halit Kıras
doaj   +1 more source

The modal logic of Reverse Mathematics [PDF]

open access: yes, 2014
The implication relationship between subsystems in Reverse Mathematics has an underlying logic, which can be used to deduce certain new Reverse Mathematics results from existing ones in a routine way.
Mummert, Carl   +2 more
core   +1 more source

Conceptual models of the quality control process

open access: yesMathematical Modelling and Analysis, 2000
This paper discusses issues of conceptual modelling of the product quality control process. Special attention is paid to the quality inspection. This process can be considered as a kind of product sorting the aim of which is to identify the product ...
A. Ribikauskas   +2 more
doaj   +1 more source

A non-standard analysis of a cultural icon: The case of Paul Halmos [PDF]

open access: yes, 2016
We examine Paul Halmos' comments on category theory, Dedekind cuts, devil worship, logic, and Robinson's infinitesimals. Halmos' scepticism about category theory derives from his philosophical position of naive set-theoretic realism.
Blaszczyk, Piotr   +6 more
core   +2 more sources

Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union [PDF]

open access: yes, 2019
K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician ...
Kilakos, Dimitris
core   +2 more sources

Grzegorczyk’s Logics. Part I [PDF]

open access: yes, 2015
This article is the second in a series formalizing some results in my joint work with Prof. Joanna Golinska-Pilarek ([9] and [10]) concerning a logic proposed by Prof. Andrzej Grzegorczyk ([11]).
Huuskonen, Taneli
core   +2 more sources

Wittgenstein on Pseudo-Irrationals, Diagonal Numbers and Decidability [PDF]

open access: yes, 2008
In his early philosophy as well as in his middle period, Wittgenstein holds a purely syntactic view of logic and mathematics. However, his syntactic foundation of logic and mathematics is opposed to the axiomatic approach of modern ...
Lampert, Timm
core  

Kriesel and Wittgenstein [PDF]

open access: yes, 2019
Georg Kreisel (15 September 1923 - 1 March 2015) was a formidable mathematical logician during a formative period when the subject was becoming a sophisticated field at the crossing of mathematics and logic.
Kanamori, Akihiro
core  

Home - About - Disclaimer - Privacy