|
Mailing list
Fill in your email address below to join our mailing list and keep up to date with news and events!
Upcoming events
Thu 01 Mar 2012, 6:00pm | Winstanley Lecture Hall, Trinity College
Professor Sir David Omand (King's College London; Former Director of GCHQ) speaks on
|
In the talk I will look at the way that successive technological advances have shaped the past world of secret intelligence and suggest that the process continues with the application of digital technologies to intelligence access and analysis. I shall examine some of the ethical issues that recent developments have created and suggest a model for examining the limits that society should impose on their use for public security.
Intelligence and Security in a Digital AgeIn the talk I will look at the way that successive technological advances have shaped the past world of secret intelligence and suggest that the process continues with the application of digital technologies to intelligence access and analysis. I shall examine some of the ethical issues that recent developments have created and suggest a model for examining the limits that society should impose on their use for public security.
David OmandKing's College London; Former Director of GCHQ A concept we refer to as the biological constraint is shown to be able where id=11;
to explain the effectiveness of mathematical descriptions of the
universe, as well as accounting for the origin of life and our ability
to think logically. The biological constraint, which can be studied
systematically through the use of appropriate models, refers to
selection in the biological realm in favour of mechanisms that have wide
applicability, a subset of which have mathematical character that can
evolve to ever subtler forms. The precise conformance of physical
phenomena to precise mathematical laws is related to the enforcement of
symmetry.
|
Thu 08 Mar 2012, 6:00pm | Mong Hall, Sidney Sussex
Professor Alan Bundy (University of Edinburgh) speaks on
|
We describe the technology behind the TheoryMine novelty gift company, which sells the rights to name novel mathematical theorems. A tower of four computer systems is used to generate recursive theories, to speculate conjectures in those theories and then to prove these conjectures. All stages of the process are entirely automatic. The process guarantees large numbers of sound, novel theorems of some intrinsic merit.
The Theory behind TheoryMineWe describe the technology behind the TheoryMine novelty gift company, which sells the rights to name novel mathematical theorems. A tower of four computer systems is used to generate recursive theories, to speculate conjectures in those theories and then to prove these conjectures. All stages of the process are entirely automatic. The process guarantees large numbers of sound, novel theorems of some intrinsic merit.
Alan BundyUniversity of Edinburgh A concept we refer to as the biological constraint is shown to be able where id=11;
to explain the effectiveness of mathematical descriptions of the
universe, as well as accounting for the origin of life and our ability
to think logically. The biological constraint, which can be studied
systematically through the use of appropriate models, refers to
selection in the biological realm in favour of mechanisms that have wide
applicability, a subset of which have mathematical character that can
evolve to ever subtler forms. The precise conformance of physical
phenomena to precise mathematical laws is related to the enforcement of
symmetry.
|
Click here for the full events list »
Social networks
Many thanks to our 2011-12 sponsors:
| 