AISB convention 2017

  In the run up to AISB2017 convention, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid al-Rifaie (https://twitter.com/mohmaj) Tu...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
01234

Notice

AISB event Bulletin Item

CALL FOR PARTICIPATION: The Legacy of Reuben Goodstein, 14 Dec 2012, Leicester (U.K.)

http://www2.le.ac.uk/departments/mathematics/legacy-of-goodstein

_______________________________________________________________________

            
For final details of the programme for this Goodstein Centenary Day, see:
http://www2.le.ac.uk/departments/mathematics/legacy-of-goodstein/programme

2012 is the Centenary of the birth of Reuben Louis Goodstein, the first
holder of a UK university chair in Mathematical Logic.

In honour of Goodstein and his legacy, we are organizing a day recognizing
his impact on the development of Mathematical Logic, worldwide, in the UK
and at Leicester. The meeting is supported by the London Mathematical
Society and the British Logic Colloquium.

The list of distinguished speakers includes:

Harvey Rose (Bristol), Jan von Plato (Helsinki), Stanley Wainer (Leeds),
Mathieu Marion/Mitsuhiro Okada (Montreal/Keio, Japan), Mike Price
(Leicester), Mary Walmsley (Leicester).

Topics will include:

* Goodstein's theorem in the light of the Bernays-Goodstein correspondence
* Goodstein sequences and independence of Peano arithmetic
* Goodstein and Wittgenstein
* Goodstein and the Mathematical Association
* We are also hoping to have a panel discussion entitled 'Goodstein
* 'Remembered', where any delegate can share memories and thoughts of
Goodstein.

We anticipate there will be a number of ex-colleagues and students of
Goodstein, and members of the Goodstein family in attendance, and a small
evening dinner for speakers and organisers, and guests.

The support of the London Mathematical Society provides for a number of
bursaries available to UK research students to enable them to attend the
meeting. Registration is free.

To register, and for details of the programme, please go to the meeting
webpage:
http://www2.le.ac.uk/departments/mathematics/legacy-of-goodstein

Download a copy of the conference poster:
http://www2.le.ac.uk/departments/mathematics/legacy-of-goodstein/Goodstein.pdf

__________________________
Organisers: S. Barry Cooper (Leeds), Jeremy Levesley (Leicester), Rick
Thomas (Leicester), Paul Williams (LSE)