Andreas Johannes Jäckel

Recursive Functions on Lazy Lists via Domains and Topologies pdfauthor=Andreas Lochbihler and Johannes Hölzl

The usual definition facilities in theorem provers cannot handle all recursive functions on lazy lists; the filter function is a prime counterexample. We present two new ways of directly defining functions like filter by exploiting their dual nature as producers and consumers. Borrowing from domain theory and topology, we define them as a least fixpoint (producer view) and as a continuous exten...

Johannes Holtfreter

Discussion Andreas

Gelman’s article is a thought-provoking mix of opinions and creative methodology. I agree with Gelman that the disjunction of models and exploratory data analysis (EDA) in mainstream statistics is unsound. The assumption that models belong exclusively to confirmatory data analysis (CDA) is easily shown to be wrong in practice. Many uses of models, in particular model selection, are exploratory,...

Andreas Kemmerling

Assuming that there are correct basic norms, is there a way to explain their correctness? Paul does not think so, and he argues that a certain family of strategies for explaining the correctness of one particular class of basic epistemic norms does not work. The norms in question are those which concern the acceptance of ID-sentences, i.e. sentences which are, or seem to be, the implicit defini...

Andreas Größler

The purpose of this paper is to provide a heuristic that can help to decide whether qualitative or quantitative system dynamics modeling is useful in organizational modeling projects. The heuristic depends on the initial problem formulation, in form of a question to be answered. The argumentation is based on conceptual musings and on two short case studies to exemplify the usage of the heuristi...