Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userThe Natural Philosophy of Kazuo Kondo
312
0
0.0
(
0
)
Authors
Grenville J. Croll
Ask ChatGPT about the research
No Arabic abstract
Kazuo Kondo (1911-2001) was Chair of the Department of Mathematical Engineering at the University of Tokyo, Japan. Over a period of 50 years, he and a few colleagues wrote and published a voluminous series of papers and monographs on the applications of analytical geometry within a diverse range of subjects in the natural sciences. Inspired by Otto Fischers attempt at a quaternionic unified theory in the late 1950s he adopted the mathematics of the revered Akitsugu Kawaguchi to produce his own speculative unified theory. The theory appears to successfully apply Kawaguchis mathematics to the full range of natural phenomena, from the structure of fundamental particles to the geometry of living beings. The theories are testable and falsifiable. Kondo and his theories are now almost completely unknown and this paper serves as the barest introduction to his work
rate research
Read More
The aim of this paper is to prove wordlessly the sum formula of $1^{k}+2^{k}+ldots +n^{k}$, $kin{1,2,3}$.
The purpose of this paper is to describe and elaborate the philosophical ideas behind hyperstructures and structure formation in general and emphasize the key ideas of the Hyperstructure Program.
A substantial school in the philosophy of science identifies Bayesian inference with inductive inference and even rationality as such, and seems to be strengthened by the rise and practical success of Bayesian statistics. We argue that the most successful forms of Bayesian statistics do not actually support that particular philosophy but rather accord much better with sophisticated forms of hypothetico-deductivism. We examine the actual role played by prior distributions in Bayesian models, and the crucial aspects of model checking and model revision, which fall outside the scope of Bayesian confirmation theory. We draw on the literature on the consistency of Bayesian updating and also on our experience of applied work in social science. Clarity about these matters should benefit not just philosophy of science, but also statistical practice. At best, the inductivist view has encouraged researchers to fit and compare models without checking them; at worst, theorists have actively discouraged practitioners from performing model checking because it does not fit into their framework.
This article looks at philosophical aspects and questions that modern astrophysical research gives rise to. Other than cosmology, astrophysics particularly deals with understanding phenomena and processes operating at intermediate cosmic scales, which has rarely aroused philosophical interest so far. Being confronted with the attribution of antirealism by Ian Hacking because of its observational nature, astrophysics is equipped with a characteristic methodology that can cope with the missing possibility of direct interaction with most objects of research. In its attempt to understand the causal history of singular phenomena it resembles the historical sciences, while the search for general causal relations with respect to classes of processes or objects can rely on the cosmic laboratory: the multitude of different phenomena and environments, naturally provided by the universe. Furthermore, the epistemology of astrophysics is strongly based on the use of models and simulations and a complex treatment of large amounts of data.
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An important aspect of Ciao is that, in addition to supporting logic programming (and, in particular, Prolog), it provides the programmer with a large number of useful features from different programming paradigms and styles, and that the use of each of these features (including those of Prolog) can be turned on and off at will for each program module. Thus, a given module may be using, e.g., higher order functions and constraints, while another module may be using assignment, predicates, Prolog meta-programming, and concurrency. Furthermore, the language is designed to be extensible in a simple and modular way. Another important aspect of Ciao is its programming environment, which provides a powerful preprocessor (with an associated assertion language) capable of statically finding non-trivial bugs, verifying that programs comply with specifications, and performing many types of optimizations (including automatic parallelization). Such optimizations produce code that is highly competitive with other dynamic languages or, with the (experimental) optimizing compiler, even that of static languages, all while retaining the flexibility and interactive development of a dynamic language. This compilation architecture supports modularity and separate compilation throughout. The environment also includes a powerful auto-documenter and a unit testing framework, both closely integrated with the assertion system. The paper provides an informal overview of the language and program development environment. It aims at illustrating the design philosophy rather than at being exhaustive, which would be impossible in a single journal paper, pointing instead to previous Ciao literature.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
