Cargando…

One Hundred Prisoners and a Light Bulb

A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that i...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: van Ditmarsch, Hans (Autor), Kooi, Barteld (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Copernicus, 2015.
Edición:1st ed. 2015.
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-3-319-16694-0
003 DE-He213
005 20220118175623.0
007 cr nn 008mamaa
008 150709s2015 sz | s |||| 0|eng d
020 |a 9783319166940  |9 978-3-319-16694-0 
024 7 |a 10.1007/978-3-319-16694-0  |2 doi 
050 4 |a QA1-939 
072 7 |a PB  |2 bicssc 
072 7 |a MAT000000  |2 bisacsh 
072 7 |a PB  |2 thema 
082 0 4 |a 510  |2 23 
100 1 |a van Ditmarsch, Hans.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
245 1 0 |a One Hundred Prisoners and a Light Bulb  |h [electronic resource] /  |c by Hans van Ditmarsch, Barteld Kooi. 
250 |a 1st ed. 2015. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Copernicus,  |c 2015. 
300 |a IX, 188 p. 24 illus.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a Consecutive numbers -- Hangman -- Muddy Children -- Monty Hall -- Russian Cards -- Who Has the Sum?- Sum and Product -- Two Envelopes -- One Hundred Prisoners and a Light Bulb -- Gossip -- Cluedo -- Overview Dynamic Epistemic Logic -- Answers. 
520 |a A group of 100 prisoners, all together in the prison dining area, are told that they will be all put in isolation cells and then will be interrogated one by one in a room containing a light with an on/off switch. The prisoners may communicate with one another by toggling the light switch (and that is the only way in which they can communicate). The light is initially switched off. There is no fixed order of interrogation, or interval between interrogations, and the same prisoner may be interrogated again at any stage. When interrogated, a prisoner can either do nothing, or toggle the light switch, or announce that all prisoners have been interrogated. If that announcement is true, the prisoners will (all) be set free, but if it is false, they will all be executed. While still in the dining room, and before the prisoners go to their isolation cells (forever), can the prisoners agree on a protocol that will set them free? At first glance, this riddle may seem impossible to solve: how can all of the necessary information be transmitted by the prisoners using only a single light bulb? There is indeed a solution, however, and it can be found by reasoning about knowledge. This book provides a guided tour through eleven classic logic puzzles that are engaging and challenging and often surprising in their solutions. These riddles revolve around the characters' declarations of knowledge, ignorance, and the appearance that they are contradicting themselves in some way. Each chapter focuses on one puzzle, which the authors break down in order to guide the reader toward the solution. For general readers and students with little technical knowledge of mathematics, One Hundred Prisoners and a Light Bulb will be an accessible and fun introduction to epistemic logic. Alternatively, more advanced students and their teachers will find it to be a valuable reference text for introductory course work and further study. 
650 0 |a Mathematics. 
650 0 |a Logic. 
650 0 |a Machine theory. 
650 0 |a Mathematical logic. 
650 1 4 |a Mathematics. 
650 2 4 |a Logic. 
650 2 4 |a Formal Languages and Automata Theory. 
650 2 4 |a Mathematical Logic and Foundations. 
700 1 |a Kooi, Barteld.  |e author.  |4 aut  |4 http://id.loc.gov/vocabulary/relators/aut 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783319166957 
776 0 8 |i Printed edition:  |z 9783319166933 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-3-319-16694-0  |z Texto Completo 
912 |a ZDB-2-SMA 
912 |a ZDB-2-SXMS 
950 |a Mathematics and Statistics (SpringerNature-11649) 
950 |a Mathematics and Statistics (R0) (SpringerNature-43713)