Results 1 to 10 of about 395,838 (240)
Clustering Productive Palm Land using the K- Means Clustering Algorithm
Journal 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
The modal logic of Reverse Mathematics [PDF]
, 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
Cumhuriyet İ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
Conceptual models of the quality control process
Mathematical 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
Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union [PDF]
, 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
, 2002 In this paper we explore the boundary between biology and the study of formal systems (logic). In the end, we arrive at a summary formalism, a chapter in "boundary mathematics" where there are not only containers but also extainers >
Kauffman, Louis H.
core +4 more sources
Metalogic and the Overgeneration Argument [PDF]
, 2019 A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood.
Florio, Salvatore, Incurvati, Luca
core +3 more sources
A non-standard analysis of a cultural icon: The case of Paul Halmos [PDF]
, 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
Kriesel and Wittgenstein [PDF]
, 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
Process categories: the metaphysics, methodology & mathematics, philosophy of nature and process philosophy [PDF]
, 2009 To apply the metaphysical methodology of mathematics to the logic and form of process in natural philosophy requires a metaphysics above modelling, a methodology more than method and a mathematics beyond the set based topics of arithmetic, algebra ...
Heather, Michael, Rossiter, Nick
core