Results 1 to 10 of about 376,786 (202)
Annals of the Japan Association for Philosophy of Science, 1963 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Haskell B. Curry
openalex +5 more sources
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
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
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
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
Impossibilities, mathematics, and logic
Qeios, 2023 Mathematics is known for its rigor. Owing to its rigor, mathematics is both loved and feared. Proof holds a pivotal position in the whole of mathematical rigor. Proof is required for something to be possible. Interestingly, proof is equally important and required for something to be declared impossible.
openaire +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
Grzegorczyk’s Logics. Part I [PDF]
, 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
A non-standard analysis of a cultural icon: The case of Paul Halmos
, 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 +1 more source