Freedom, Anarchy and Conformism in Academic Research

In this paper I attempt to make a case for promoting the courage of rebels within the citadels of orthodoxy in academic research environments. Wicksell in Macroeconomics, Brouwer in the Foundations of Mathematics, Turing in Computability Theory, Sraffa in the Theories of Value and Distribution are, in my own fields of research, paradigmatic examples of rebels, adventurers and non-conformists of the highest caliber in scientific research within University environments. In what sense, and how, can such rebels, adventurers and non-conformists be fostered in the current University research environment dominated by the cult of 'picking winners'? This is the motivational question lying behind the historical outlines of the work of Brouwer, Hilbert, Bishop, Veronese, Gödel, Turing and Sraffa that I describe in this paper. The debate between freedom in research and teaching, and the naked imposition of 'correct' thinking, on potential dissenters of the mind, is of serious concern in this age of austerity of material facilities. It is a debate that has occupied some of the finest minds working at the deepest levels of foundational issues in mathematics, metamathematics and economic theory. By making some of the issues explicit, I hope it is possible to encourage dissenters to remain courageous in the face of current dogmasNon-conformist research, economic theory, mathematical economics, 'Hilbert's Dogma', Hilbert's Program, computability theory

Changing Eyes: American Culture and the Photographic Image, 1918-1941.

From 1918 to 1941, fast-paced changes and far-reaching crises occurred in all realms of American life--social, economic, political, cultural, and intellectual. Evidence of the culture\u27s preoccupations showed up not only in written, but also in visual sources. Photographs helped to reveal the values of American culture, and did so with increasing frequency as the photographic process was further improved. Each visual image bore the marks of its culture, yet none provided a completely objective look at reality. For every picture was the product of the personality standing behind the camera. This study examines both the lives and the photographs of five women who took pictures in the 1920s and 1930s. These five--Doris Ulmann, Dorothea Lange, Margaret Bourke-White, Berenice Abbott, and Marion Post Wolcott--were selected for several reasons: each made considerable contributions to photography\u27s development, in a historical sense; each produced perceptive works reflecting American thought and life in these decades; and each displayed a unique style, indicative of type and amount of artistic training, political background, varying financial constraints, and sources of support, some private and some public. Together, the five produced a corps of visual images that epitomized the nature of American culture and character in two decades marked by tremendous changes in all realms. Their work covers as broad a spectrum in tastes, methods, and visions, as any in the history of photography. That these woman worked during such a critical time in the nation\u27s history simply augments their personal achievements. In using photographs as historical evidence, I have examined photographic series of particular subjects, rather than isolated images. I have discussed various sources of funding photographers relied upon, and I have analyzed the extent to which these sources influenced the kinds of photographs that resulted. The main line of argument throughout the study deals with how methods and directions of photography itself changed in these two decades; how these five women I have studied served as both vehicles for, and creators of, change; and how Americans, both collectively, and as individuals, were portrayed through the medium of photography

Computational problems in matrix semigroups

This thesis deals with computational problems that are defined on matrix semigroups, which playa pivotal role in Mathematics and Computer Science in such areas as control theory, dynamical systems, hybrid systems, computational geometry and both classical and quantum computing to name but a few. Properties that researchers wish to study in such fields often turn out to be questions regarding the structure of the underlying matrix semigroup and thus the study of computational problems on such algebraic structures in linear algebra is of intrinsic importance. Many natural problems concerning matrix semigroups can be proven to be intractable or indeed even unsolvable in a formal mathematical sense. Thus, related problems concerning physical, chemical and biological systems modelled by such structures have properties which are not amenable to algorithmic procedures to determine their values. With such recalcitrant problems we often find that there exists a tight border between decidability and undecidability dependent upon particular parameters of the system. Examining this border allows us to determine which properties we can hope to derive algorithmically and those problems which will forever be out of our reach, regardless of any future advances in computational speed. There are a plethora of open problems in the field related to dynamical systems, control theory and number theory which we detail throughout this thesis. We examine undecidability in matrix semigroups for a variety of different problems such as membership and vector reachability problems, semigroup intersection emptiness testing and freeness, all of which are well known from the literature. We also formulate and survey decidability questions for several new problems such as vector ambiguity, recurrent matrix problems, the presence of any diagonal matrix and quaternion matrix semigroups, all of which we feel give a broader perspective to the underlying structure of matrix semigroups

Special Libraries, July 1980

Volume 71, Issue 7https://scholarworks.sjsu.edu/sla_sl_1980/1005/thumbnail.jp

Artificial intelligence and its application in architectural design

No abstract available.No abstract available

Mirror - Vol. 09, No. 10 - September 26, 1985

The Mirror (sometimes called the Fairfield Mirror) is the official student newspaper of Fairfield University, and is published weekly during the academic year (September - May). It runs from 1977 - the present; current issues are available online.https://digitalcommons.fairfield.edu/archives-mirror/1184/thumbnail.jp

Computability in constructive type theory

We give a formalised and machine-checked account of computability theory in the Calculus of Inductive Constructions (CIC), the constructive type theory underlying the Coq proof assistant. We first develop synthetic computability theory, pioneered by Richman, Bridges, and Bauer, where one treats all functions as computable, eliminating the need for a model of computation. We assume a novel parametric axiom for synthetic computability and give proofs of results like Rice’s theorem, the Myhill isomorphism theorem, and the existence of Post’s simple and hypersimple predicates relying on no other axioms such as Markov’s principle or choice axioms. As a second step, we introduce models of computation. We give a concise overview of definitions of various standard models and contribute machine-checked simulation proofs, posing a non-trivial engineering effort. We identify a notion of synthetic undecidability relative to a fixed halting problem, allowing axiom-free machine-checked proofs of undecidability. We contribute such undecidability proofs for the historical foundational problems of computability theory which require the identification of invariants left out in the literature and now form the basis of the Coq Library of Undecidability Proofs. We then identify the weak call-by-value λ-calculus L as sweet spot for programming in a model of computation. We introduce a certifying extraction framework and analyse an axiom stating that every function of type ℕ → ℕ is L-computable.Wir behandeln eine formalisierte und maschinengeprüfte Betrachtung von Berechenbarkeitstheorie im Calculus of Inductive Constructions (CIC), der konstruktiven Typtheorie die dem Beweisassistenten Coq zugrunde liegt. Wir entwickeln erst synthetische Berechenbarkeitstheorie, vorbereitet durch die Arbeit von Richman, Bridges und Bauer, wobei alle Funktionen als berechenbar behandelt werden, ohne Notwendigkeit eines Berechnungsmodells. Wir nehmen ein neues, parametrisches Axiom für synthetische Berechenbarkeit an und beweisen Resultate wie das Theorem von Rice, das Isomorphismus Theorem von Myhill und die Existenz von Post’s simplen und hypersimplen Prädikaten ohne Annahme von anderen Axiomen wie Markov’s Prinzip oder Auswahlaxiomen. Als zweiten Schritt führen wir Berechnungsmodelle ein. Wir geben einen kompakten Überblick über die Definition von verschiedenen Berechnungsmodellen und erklären maschinengeprüfte Simulationsbeweise zwischen diesen Modellen, welche einen hohen Konstruktionsaufwand beinhalten. Wir identifizieren einen Begriff von synthetischer Unentscheidbarkeit relativ zu einem fixierten Halteproblem welcher axiomenfreie maschinengeprüfte Unentscheidbarkeitsbeweise erlaubt. Wir erklären solche Beweise für die historisch grundlegenden Probleme der Berechenbarkeitstheorie, die das Identifizieren von Invarianten die normalerweise in der Literatur ausgelassen werden benötigen und nun die Basis der Coq Library of Undecidability Proofs bilden. Wir identifizieren dann den call-by-value λ-Kalkül L als sweet spot für die Programmierung in einem Berechnungsmodell. Wir führen ein zertifizierendes Extraktionsframework ein und analysieren ein Axiom welches postuliert dass jede Funktion vom Typ N→N L-berechenbar ist