1.1 Our motivation for working on the subject presented below comes from the realisation of the rather paradoxical situation with the mathematics used by physicists in the last 70 or so years. Physicists have always been ahead of mathematicians in introducing and testing new methods of calculations, leaving to mathematicians the task of putting the new methods and ideas on a solid and rigorous ...

The probability that an observed infection has been transmitted from a particular member of a set of potential infectors is calculated. The calculations only use knowledge of the infection times. It is shown that the probabilities depend on the variability of individual infectivity. The analyses are based on different background information and different assumptions on the progress of infectivi...

The goal of paper is to present the magnetic field calculations in high current bus ducts. Finiteelement method is used to do this. Bus ducts under study have figure such as circle area. Thecalculations will be using mathematical relations, meshed geometric shape and analyzing them.Geometric mean will help us to determine the value of magnetic field. COMSOL software is appliedfor simulation stu...

In this paper we develop mathematically strong systems of analysis in higher types which, nevertheless, are proof-theoretically weak, i.e. conservative over elementary resp. primitive recursive arithmetic. These systems are based on non-collapsing hierarchies (Φn-WKL+, Ψn-WKL+) of principles which generalize (and for n = 0 coincide with) the so-called ‘weak’ König’s lemma WKL (which has been st...