Start a hangout

All communitiesRecommended for you

## Stream

Join this community to post or comment

Join community

### Kevin Clift

Discussion -**Carroll ∧ Turing**

2015 marks the 150th anniversary of the publication of

**Alice's Adventures in Wonderland**by Lewis Carroll. As you probably know Lewis Carroll was a nom de plume, used for his children's fiction writing, by the Rev. Charles Lutwidge Dodgson. And, that in his day job, Dodgson was an Oxford Logician and Mathematician and the Alice stories are sprinkled with logical and mathematical puzzles. Martin Gardner pointed these out for readers in his famous companion piece, ^

**The Annotated Alice**.

What isn't as widely known is that Dodgson, as Carroll, also wrote non-fiction for children. Carroll's

**The Game of Logic**and the later, more advanced

**Symbolic Logic**were intended to give children a way of reasoning mechanically, given a few rules a game board and tokens.

Now, in this celebratory year, it has come to light that as a young man Alan Turing borrowed some of Carroll's books from the school library and that perhaps this means that Lewis Carroll may have influenced Turing's thinking about mechanical computation. Turing's famous paper

**On Computable Numbers**was published six years later.

*Who knows whether Turing was aware that Carroll, whose two Alice books he was reading, had had a home a mere mile from where his parents were living. The Sherborne library entry provides yet another convergence between the two British-born, Oxbridge-educated, permanent bachelors with sui generis demeanors, questioned sexualities, and occasional stammers, interested in logic and mathematics.*

*But there’s more. What of the third book that Turing checked out of the Sherborne library at the same time? Leavitt finds the third book remarkable because the title, The Game of Logic, presages Turing’s later work in logic and the foundations of computer science. What Leavitt doesn’t seem to be aware of is that it is no surprise that this book would accompany the Alice books; it has the same author. Carroll published The Game of Logic in 1886. It serves to make what I believe to be the deepest connection between the two mathematicians, one that has to my knowledge never been noted before.*

**More here: (article)**http://goo.gl/eAQN1r

**Game of Logic (virtual book):**https://goo.gl/osELWu

**Symbolic Logic (virtual book):**https://goo.gl/lZMWCr

**Alice in Wonderland in Pictures:**http://goo.gl/E2AHyr

**Alice Manuscript: (virtual book):**https://goo.gl/nsxZwW

You can hear an abridged

**Alice in Wonderland**read by playright, author and Oxford alumnus, Alan Bennett

**Here: (each episode is only 15 mins.)**http://goo.gl/NwfYrj

These should be available online worldwide without restriction but only for one month after the most recent broadcast. They are easiest to play on a computer (with Flash*) although they will work on iOS (with or without the iPlayer app) and once the BBC media player http://goo.gl/oHuhfM is installed, they will work on Android too.

*There is now a beta for the HTML5 radio player. It can be activated here: http://goo.gl/Ag30aB

^ Commemorative expanded

**The Annotated Alice (library book:)**http://goo.gl/gsBzJf

More on the expanded book: http://goo.gl/4aYCjc

150th Anniversary Events and Publications: http://goo.gl/vmBfOq

Image: The White Rabbit by Tenniel https://goo.gl/lRxNGG

7

1

Add a comment...

### Ruzica Imamovic

Discussion -ovo je rjesenje jednacine koju sam ranije postavila

2

1

vrlo zanimljivo very interesting πολύ ενδιαφέρον

· Translate

Add a comment...

### Abderrahman Taha

Videos/Pictures -"Schwarz Torus"

This is a slightly different version of my previous Torus filled the Schwarz minimal surface.

MathMod script:

{

"Iso3D": {

"Description": ["Schwarz Torus-1.2 by Abderrahman Taha 24/11/2015"],

"Name": ["Schwarz Torus"],

"Component": ["SchwarzTorus_1",

"SchwarzTorus_2"],

"Const": ["N=1.4"],

"Funct": ["Iso=cos(x)+cos(y)+cos(z)",

"Iso3=(Iso(x+sin(x)*N/sqrt(sin(x)*sin(x)+sin(y)*sin(y)+sin(z)*sin(z)),y+sin(y)*N/sqrt(sin(x)*sin(x)+sin(y)*sin(y)+sin(z)*sin(z)),z+sin(z)*N/sqrt(sin(x)*sin(x)+sin(y)*sin(y)+sin(z)*sin(z)),t))",

"Iso4=(Iso(x+sin(x)

"Iso5=(Iso(x-sin(x)

"TickIso2=(Iso4(x,y,z,t)*Iso5(x,y,z,t))",

"isoCondition=(x^2+z^2-20)",

"isoTransform_1=if(isoCondition(x,y,z,t)<0,TickIso2(x,y,z,t),1)+exp(isoCondition(x,y,z,t)/3)",

"isoTransform_2=if(isoCondition(x,y,z,t)<0,-Iso3(x,y,z,t),1)+exp(isoCondition(x,y,z,t)/3)"],

"Fxyz": ["-isoTransform_1((sqrt(x*x+y*y)-10),12*atan2(y,x),z,t)",

"-isoTransform_2((sqrt(x*x+y*y)-10),12*atan2(y,x),z,t)"],

"Xmax": ["14",

"16"],

"Xmin": ["-14",

"-16"],

"Ymax": ["14",

"16"],

"Ymin": ["-14",

"-16"],

"Zmax": ["6",

"6"],

"Zmin": ["-6",

"-6"]

}

}

This is a slightly different version of my previous Torus filled the Schwarz minimal surface.

MathMod script:

{

"Iso3D": {

"Description": ["Schwarz Torus-1.2 by Abderrahman Taha 24/11/2015"],

"Name": ["Schwarz Torus"],

"Component": ["SchwarzTorus_1",

"SchwarzTorus_2"],

"Const": ["N=1.4"],

"Funct": ["Iso=cos(x)+cos(y)+cos(z)",

"Iso3=(Iso(x+sin(x)*N/sqrt(sin(x)*sin(x)+sin(y)*sin(y)+sin(z)*sin(z)),y+sin(y)*N/sqrt(sin(x)*sin(x)+sin(y)*sin(y)+sin(z)*sin(z)),z+sin(z)*N/sqrt(sin(x)*sin(x)+sin(y)*sin(y)+sin(z)*sin(z)),t))",

"Iso4=(Iso(x+sin(x)

**.4/sqrt(sin(x)*sin(x)+sin(y)*sin(y)+sin(z)*sin(z)),y+sin(y)**.4/sqrt(sin(x)**sin(x)+sin(y)*sin(y)+sin(z)*sin(z)),z+sin(z)**.4/sqrt(sin(x)*sin(x)+sin(y)*sin(y)+sin(z)*sin(z)),t))","Iso5=(Iso(x-sin(x)

**.4/sqrt(sin(x)*sin(x)+sin(y)*sin(y)+sin(z)*sin(z)),y-sin(y)**.4/sqrt(sin(x)**sin(x)+sin(y)*sin(y)+sin(z)*sin(z)),z-sin(z)**.4/sqrt(sin(x)*sin(x)+sin(y)*sin(y)+sin(z)*sin(z)),t))","TickIso2=(Iso4(x,y,z,t)*Iso5(x,y,z,t))",

"isoCondition=(x^2+z^2-20)",

"isoTransform_1=if(isoCondition(x,y,z,t)<0,TickIso2(x,y,z,t),1)+exp(isoCondition(x,y,z,t)/3)",

"isoTransform_2=if(isoCondition(x,y,z,t)<0,-Iso3(x,y,z,t),1)+exp(isoCondition(x,y,z,t)/3)"],

"Fxyz": ["-isoTransform_1((sqrt(x*x+y*y)-10),12*atan2(y,x),z,t)",

"-isoTransform_2((sqrt(x*x+y*y)-10),12*atan2(y,x),z,t)"],

"Xmax": ["14",

"16"],

"Xmin": ["-14",

"-16"],

"Ymax": ["14",

"16"],

"Ymin": ["-14",

"-16"],

"Zmax": ["6",

"6"],

"Zmin": ["-6",

"-6"]

}

}

9

1

Add a comment...

### Alexandre Silva

Puzzles/Riddles -Visit us at http://pmate.ua.pt --> portuguese plataform with Question Generating Models

#questions #models #pmate #programming #plataform

#questions #models #pmate #programming #plataform

3

Add a comment...

### Paul Smith

Freq Posts/Tricks -... uses problems, puzzles, and games to teach students how to think critically and emphasizes active participation in problem solving, with emphasis on logic, number and graph theory, games of strategy, and much more. Includes answers to selected problems .. .

#problemsolving

#problemsolving

Many of the most important mathematical concepts were developed from recreational problems. This book uses problems, puzzles, and games to teach students how to think critically. It emphasizes active

14

2

Add a comment...

### About this community

Welcome to the Mathematics Community! Please read the community guidelines before posting: http://goo.gl/SjFp4. Here are the most import things you need to know:
*Please check the Dr. Math FAQ if you've got a question that might be common. You might be posting about something that we've already seen numerous times. http://mathforum.org/dr.math/faq/
*Don't link-litter.* If you've found an interesting article that you think the Mathematics community needs to see, please share it! But we want to know why you think it's share-worthy.
*No unrelated ads or spam.*
*Don’t cheat on homework, classwork, or other exercises.* This community is not well-suited for homework help (see homework policy below), but it has zero tolerance for cheaters. Cheaters will be banned.
*Categorize correctly.*
*Keep posts relevant to mathematics in some way.* Wondering why your post was removed? Read the complete community guidelines.

### Abderrahman Taha

Videos/Pictures -Kinky 4D Clifford Torus rotating on the ZW rotational plan

MathMod script:

{

"Param4D": {

"Description": ["Kinky 4D Clifford Torus by Aberrahman Taha 24/11/2015"],

"Name": ["Kinky 4D Clifford Torus"],

"Component": ["4DTorus"],

"Const": ["cu=0.0001",

"cv=0.0001",

"N=3"],

"Funct": ["Thickness=-abs(.1*cos(3*v-7*u)*sin(3*v))",

"Fx=sin(u)",

"Fy=cos(u)",

"Fz=sin(v)",

"DFxu=cos(u)",

"DFyu=-sin(u)",

"DFzv=cos(v)",

"n1=(DFyu(u,v,t)*DFzv(u,v,t))",

"n2=(-DFxu(u,v,t)*DFzv(u,v,t))",

"R=sqrt(n1(u,v,t)^2+n2(u,v,t)^2)",

"Gx=Fx(u,v,t)+Thickness(u,v,t)*n1(u,v,t)/R(u,v,t)",

"Gy=Fy(u,v,t)+Thickness(u,v,t)*n2(u,v,t)/R(u,v,t)",

"Gz=Fz(u,v,t)"],

"Fw": ["cos(v)"],

"Fx": ["Gx(u,v,t)"],

"Fy": ["Gy(u,v,t)"],

"Fz": ["Gz(u,v,t)"],

"Umax": ["2*pi"],

"Umin": ["0"],

"Vmax": ["2*pi"],

"Vmin": ["0"]

}

}

MathMod script:

{

"Param4D": {

"Description": ["Kinky 4D Clifford Torus by Aberrahman Taha 24/11/2015"],

"Name": ["Kinky 4D Clifford Torus"],

"Component": ["4DTorus"],

"Const": ["cu=0.0001",

"cv=0.0001",

"N=3"],

"Funct": ["Thickness=-abs(.1*cos(3*v-7*u)*sin(3*v))",

"Fx=sin(u)",

"Fy=cos(u)",

"Fz=sin(v)",

"DFxu=cos(u)",

"DFyu=-sin(u)",

"DFzv=cos(v)",

"n1=(DFyu(u,v,t)*DFzv(u,v,t))",

"n2=(-DFxu(u,v,t)*DFzv(u,v,t))",

"R=sqrt(n1(u,v,t)^2+n2(u,v,t)^2)",

"Gx=Fx(u,v,t)+Thickness(u,v,t)*n1(u,v,t)/R(u,v,t)",

"Gy=Fy(u,v,t)+Thickness(u,v,t)*n2(u,v,t)/R(u,v,t)",

"Gz=Fz(u,v,t)"],

"Fw": ["cos(v)"],

"Fx": ["Gx(u,v,t)"],

"Fy": ["Gy(u,v,t)"],

"Fz": ["Gz(u,v,t)"],

"Umax": ["2*pi"],

"Umin": ["0"],

"Vmax": ["2*pi"],

"Vmin": ["0"]

}

}

1

Add a comment...

### Math

Videos/Pictures -Mobius transformation as rigid motion of the Riemann sphere. Animation made in Mathematica.

Code here (http://mathematica.stackexchange.com/questions/59271/m%C3%B6bius-transformations-revealed)

Code here (http://mathematica.stackexchange.com/questions/59271/m%C3%B6bius-transformations-revealed)

35

11

Add a comment...

### Paul Smith

Freq Posts/Tricks -...uses fundamental ideas in dynamical systems to answer questions of a biologic nature, in particular, questions about the behavior of populations given a relatively few hypotheses about the nature of their growth and interaction...

#biology

#biology

This book uses fundamental ideas in dynamical systems to answer questions of a biologic nature, in particular, questions about the behavior of populations given a relatively few hypotheses about the

2

Add a comment...

### Bruce Mincks

Discussion -The "inversive radius":

Who needs three dimensions, anyway?

Who needs three dimensions, anyway?

4

4

Add a comment...

### WASEEM RAJA

Challenges -**A number series is given below with one term missing.Choose the correct alternative that will continue the same pattern**

2 , 3 , 3 , 5 , 10 , 13 , ? , 43 , 172 , 177

(A) 23

(B) 38

(C) 39

(D) 40

4

2 comments

WASEEM RAJA

+

1

2

1

2

1

Gr8

Add a comment...

### Fabiana Bueno

Discussion - * Happy #Fibonacci Day *

From MIT: How do numbers in the Fibonacci sequence appear in nature? Prof. Leonid Levitov explores on #FibonacciDay :

read: http://mitsha.re/UYO5D

From MIT: How do numbers in the Fibonacci sequence appear in nature? Prof. Leonid Levitov explores on #FibonacciDay :

read: http://mitsha.re/UYO5D

31

4

Add a comment...

### José Maria Melgarejo

Videos/Pictures -Regolino Bizzi es un artista residente en Estocolmo que utiliza actualmente en sus obras conceptos geométricos y topológicos como la geometría hiperbólica, los nudos, la simetría, teselaciones,… Su...

1

Add a comment...