scholarly journals SAD computers and two versions of the Church–Turing Thesis

2017 ◽  
Author(s):  
Tim Button

Recent work on hypercomputation has raised new objections against the Church–Turing Thesis. In this paper, I focus on the challenge posed by a particular kind of hypercomputer, namely, SAD computers. I first consider deterministic and probabilistic barriers to the physical possibility of SAD computation. These barriers suggest several ways to defend a Physical version of the Church–Turing Thesis. I then argue against Hogarth’s analogy between non-Turing computability and non-Euclidean geometry, showing that it is a non-sequitur. I conclude that the Effective version of the Church–Turing Thesis is unaffected by SAD computation.Published in British Journal for the Philosophy of Science 60.4: 765–92.

2021 ◽  
Vol 76 (3) ◽  
Author(s):  
Peter Ullrich

AbstractFriedrich Engel and David Hilbert learned to know each other at Leipzig in 1885 and exchanged letters in particular during the next 15 years which contain interesting information on the academic life of mathematicians at the end of the 19th century. In the present article we will mainly discuss a statement by Hilbert himself on Moritz Pasch’s influence on his views of geometry, and on personnel politics concerning Hermann Minkowski and Eduard Study but also Engel himself.


2021 ◽  
Vol 1730 (1) ◽  
pp. 012037
Author(s):  
Shuta Noro ◽  
Masahiko Okumura ◽  
Satoshi Hongo ◽  
Shinichiro Nagahiro ◽  
Toshiyuki Ikai ◽  
...  

1925 ◽  
Vol 12 (177) ◽  
pp. 422 ◽  
Author(s):  
T. C. J. Elliott

2004 ◽  
Vol 40 ◽  
pp. 95-105
Author(s):  
Margaret Harvey

It is often forgotten that the medieval Church imposed public penance and reconciliation by law. The discipline was administered by the church courts, among which one of the most important, because it acted at local level, was that of the archdeacon. In the later Middle Ages and certainly by 1435, the priors of Durham were archdeacons in all the churches appropriated to the monastery. The priors had established their rights in Durham County by the early fourteenth century and in Northumberland slightly later. Although the origins of this peculiar jurisdiction were long ago unravelled by Barlow, there is no full account of how it worked in practice. Yet it is not difficult from the Durham archives to elicit a coherent account, with examples, of the way penance and ecclesiastical justice were administered from day to day in the Durham area in this period. The picture that emerges from these documents, though not in itself unusual, is nevertheless valuable and affords an extraordinary degree of detail which is missing from other places, where the evidence no longer exists. This study should complement the recent work by Larry Poos for Lincoln and Wisbech, drawing attention to an institution which would reward further research. It is only possible here to outline what the court did and how and why it was used.


2021 ◽  
pp. 24-33
Author(s):  
Prem Kumar Singh ◽  

Recently, a problem is addressed while dealing with fourth dimensional or non-Euclidean data sets. These are the data sets does not follow one of the postulates established by Euclid specially the parallel postulates. In this case, the precise representation of these data sets is major issues for knowledge processing tasks. Hence, the current paper tried to introduce some non-Euclidean geometry or Anti-Geometry methods and its examples for various applications.


The Monist ◽  
1894 ◽  
Vol 4 (4) ◽  
pp. 483-493
Author(s):  
George Bruce Halsted ◽  

Sign in / Sign up

Export Citation Format

Share Document