From mboxrd@z Thu Jan 1 00:00:00 1970 X-Received: by 2002:aed:2822:: with SMTP id r31mr6082345qtd.87.1584848705244; Sat, 21 Mar 2020 20:45:05 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:6214:11ab:: with SMTP id u11ls95650qvv.1.gmail; Sat, 21 Mar 2020 20:45:03 -0700 (PDT) X-Received: by 2002:a05:6214:17cf:: with SMTP id cu15mr15246848qvb.137.1584848703842; Sat, 21 Mar 2020 20:45:03 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1584848703; cv=none; d=google.com; s=arc-20160816; b=Yu0l76GDTM5XyYO3REwAWeai++9+dSS2jfDU1HlPyh0k5mdut4Aned/CvX1owXnFet r+s58EneqxICnffrutDLAc11aL+lVfHW5DBWNzDKGClJPPDy+WjHTvYtyx6o4kCpoUDj FWhsH1HqtjHp738lGP55OSY78sDpiHtA042/tbKQYJWLs7ri/5e6f+lqh7ji0xxmA6Bh 1e5GJC2GpHsOfLDE0vfuB2eZOxOsLtjyeYIZeMXWCqZNv6uOF1bajGtpIOjYZeAM2ZjP EUg4z4SdiKrERdruwpi6kO1A76y7CsadAwlf5jV5nEmpMLhNWH7FmfN2YmxZgmKQ44Gk MkiQ== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=to:in-reply-to:references:message-id:date:subject:mime-version:from :content-transfer-encoding:dkim-signature; bh=WeN2Ovbp8iT8vM4AzyJYjzxpyao3HwLK+7sRLlFN3Lk=; b=h5Q6dg6soFJTyFwGOcMzzOqOAXsTEgxz9JwLvVkXCfu5U7k8mFxOsAyOpf3RPBFCZA Iq/3p6PIE2n3B9WStaDVjWqqGAmZbfhEt6uBIfvlwfKP28y6uVjypj1aTHa4B12qGt1A Hm5/Yx1soXkg9LipNtoFVqZEvp8th/ixisBwya/nfrws/9uVi4m2iAkAAKt/5wdqsAnG X9nE4gyRXASY8OKLdybN2uQ8f6N/Kjfk3BUt6na3NF4CyDFq8XLsEt6K5hEp5M8yQ4YL +rULXqRudneZMAMnztKxJ6vBQzubNb1DPKizz2YzYgTxAOV6s1r8+0vz8+7/EHOy9V6T 7LEA== ARC-Authentication-Results: i=1; gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=EaiFjq44; spf=pass (google.com: domain of pujust...@gmail.com designates 2607:f8b0:4864:20::533 as permitted sender) smtp.mailfrom=pujust...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Return-Path: Received: from mail-pg1-x533.google.com (mail-pg1-x533.google.com. [2607:f8b0:4864:20::533]) by gmr-mx.google.com with ESMTPS id 198si538979qkh.7.2020.03.21.20.45.03 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sat, 21 Mar 2020 20:45:03 -0700 (PDT) Received-SPF: pass (google.com: domain of pujust...@gmail.com designates 2607:f8b0:4864:20::533 as permitted sender) client-ip=2607:f8b0:4864:20::533; Authentication-Results: gmr-mx.google.com; dkim=pass head...@gmail.com header.s=20161025 header.b=EaiFjq44; spf=pass (google.com: domain of pujust...@gmail.com designates 2607:f8b0:4864:20::533 as permitted sender) smtp.mailfrom=pujust...@gmail.com; dmarc=pass (p=NONE sp=QUARANTINE dis=NONE) header.from=gmail.com Received: by mail-pg1-x533.google.com with SMTP id u12so5282027pgb.10 for ; Sat, 21 Mar 2020 20:45:03 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=content-transfer-encoding:from:mime-version:subject:date:message-id :references:in-reply-to:to; bh=WeN2Ovbp8iT8vM4AzyJYjzxpyao3HwLK+7sRLlFN3Lk=; b=EaiFjq44dIO3xX4kptogxizZhmCMtz1WZfUnnWN8RyyUD7sW1frJfpG1FlNQqF9QJe q6Cu9+LTEF7n7ayK4PkV25P/DnSBXrYNsNwavVAWHRnPX/tsZlKmNf5KwMFvjHwpDh/d PP3L0DRdyPPx012ZmA5jTTnuvRBh+eY1YjzbOlcvoue02q+37SkUy6J5Za0g46jQVXYm dnIY2yeGaGVHwenm+V2hMtgUKi1w0wiFfHN5Q/PEGTRn0xcNe6ZlSGFSmfFt3H9wbtrS kCMmnm+XyP+yD9tnmO0F0wOTOktRNyuqYOIHpplDr9o+kVUGhs/jfyApc+zIsRp6w+jm YPqw== X-Gm-Message-State: ANhLgQ03RHnkc94c4YBAYHJxVRxST3ey2yJuhfnF28ROO/X7Qthh5KpJ SqSDNEp0Yh02MZNS/e1Fzvt5FyZS9EI= X-Received: by 2002:a63:2ec1:: with SMTP id u184mr15191833pgu.446.1584848702532; Sat, 21 Mar 2020 20:45:02 -0700 (PDT) Return-Path: Received: from ?IPv6:2001:569:7caa:7b00:28cb:e6fd:1aee:a7a3? (node-1w7jr9qtu6he8z2dps7kcnogz.ipv6.telus.net. [2001:569:7caa:7b00:28cb:e6fd:1aee:a7a3]) by smtp.gmail.com with ESMTPSA id x4sm21641pfi.202.2020.03.21.20.45.01 for (version=TLS1_3 cipher=TLS_AES_128_GCM_SHA256 bits=128/128); Sat, 21 Mar 2020 20:45:02 -0700 (PDT) Content-Type: multipart/alternative; boundary=Apple-Mail-A9258EC8-EAAF-4549-AD53-160D9B868907 Content-Transfer-Encoding: 7bit From: Pu Justin Yang Mime-Version: 1.0 (1.0) Subject: Re: [HoTT] Re: PhD positions in Computational Mathematics at Stockholm University Date: Sat, 21 Mar 2020 20:45:00 -0700 Message-Id: <6D94CBC2-004A-49FC-AB4F-36154E89CEC7@gmail.com> References: In-Reply-To: To: Homotopy Type Theory X-Mailer: iPad Mail (17D50) --Apple-Mail-A9258EC8-EAAF-4549-AD53-160D9B868907 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable > On Mar 21, 2020, at 5:36 PM, Justin Scarfy wrote: >=20 > =EF=BB=BF > I am applying > I recently came across a youtube video with a talking alien who says our = this* universe ($3$-dimensional+ time in this $11$-dimensional universe, du= e to string theory, is stable by chance [among the multiverses]) is stable = by chance=E2=80=A6 > https://www.youtube.com/watch?v=3DAvy6HGv4Ao4& >=20 > if this is true, then for what other $n$ are $n$-dimensional universes st= able? >=20 > What if we can create a universe [maybe in programming] that is of a diff= erent dimension than the one we are currently living inside > and physically move in there? > String theory tells us that our universe is of 11-dimensional > and what dimension of creature would you want to become if you were given= the chance to choose your dimension? > recall 'what is it like to be a bat=E2=80=99- https://en.wikipedia.org/wi= ki/What_Is_It_Like_to_Be_a_Bat%3F > now you are a 3-dimensional creature in this 11-dimesional universe, due = to string theory > Maybe once we directly detect multiverses/ can enter one of the multivers= es in the dimension of your choice, and in the dimension you want to become= =F0=9F=98=89? If you are now an $n$-dimensional creature in an $m$-dimensional universe, = what kind of entertainment / political system is available? E.g., dancing is possible in this universe as this universe is of 3-spacial= dimensional, but might be unavailable in other dimensional universes, i.e.= , there may be no gravitational force in other dimensional universes; authoritarian regime is THE only available possible political system in a $= 2$-dimensional universe, e.g., video games such as Starcraft, but democracy= [and the US adaptation of democracy] is available [possible] in this unive= rse as this universe is of $3$-spacial dimensional. -Justin > -Justin >=20 >> On Friday, March 20, 2020 at 4:02:06 AM UTC-7, Anders M=C3=B6rtberg wrot= e: >> The Department of Mathematics at Stockholm University invites=20 >> applications for PhD positions in Computational Mathematics. A=20 >> prospective student will have the opportunity to engage in exciting=20 >> research related to type theory, HoTT/UF, constructive mathematics,=20 >> programming language theory and category theoretic foundations.=20 >>=20 >> The student will be part of the newly founded Computational=20 >> Mathematics division. It will also be possible to collaborate with=20 >> other groups in the department, such as the Mathematical Logic group=20 >> (with experts on constructive mathematics and type theory like Per=20 >> Martin-L=C3=B6f and Peter LeFanu Lumsdaine) and the Algebra, Geometry,= =20 >> Topology, and Combinatorics group.=20 >>=20 >> For further information and instructions on how to apply see=20 >>=20 >> https://www.su.se/english/about/working-at-su/phd?rmpage=3Djob&rmjob=3D1= 1944&rmlang=3DUK=20 >>=20 >> The deadline for application is April 23, 2020.=20 >>=20 >> Some potential project ideas can be found at=20 >>=20 >> https://www.math.su.se/english/education/phd-studies/research-projects/p= ossible-research-projects-in-computational-mathematics-1.430102#m%C3%B6rtbe= rg=20 >>=20 >> If you are interested in applying and have any questions feel free to=20 >> contact me!=20 >>=20 >> --=20 >> Anders M=C3=B6rtberg =20 >> https://staff.math.su.se/anders.mortberg/=20 >=20 > --=20 > You received this message because you are subscribed to the Google Groups= "Homotopy Type Theory" group. > To unsubscribe from this group and stop receiving emails from it, send an= email to HomotopyT...@googlegroups.com. > To view this discussion on the web visit https://groups.google.com/d/msgi= d/HomotopyTypeTheory/c5afec09-e5f5-4dd2-a0f7-bb9ca2368457%40googlegroups.co= m. --Apple-Mail-A9258EC8-EAAF-4549-AD53-160D9B868907 Content-Type: text/html; charset=utf-8 Content-Transfer-Encoding: quoted-printable


On Mar 21, 2020, at 5:36 PM, Justin Scar= fy <puju...@gmail.com> wrote:

=EF=BB=BF
I am applying
=

I recently came across a youtube video with a talking alien who says our t= his* universe ($3$-dimensional+ time in this $11$-dimensional universe, due= to string theory, is stable by chance [among the multiverses]) is stable b= y chance=E2=80=A6
https://www.youtube.com/watch?v=3DAvy6HGv4Ao4&

if this is true, then for what other $n$ are $n$-dimensional univers= es stable?

What if we can create a universe [maybe in p= rogramming] that is of a different dimension than the one we are current= ly living inside
= and physically move in there?
String theory tells us that our universe is of 11-dimensional
and what dimension of creature = would you want to become if you were given the chance to choose your dimens= ion?
recall 'what is it = like to be a bat=E2=80=99- https://en.wikipedia.org/wiki/What_I= s_It_Like_to_Be_a_Bat%3F
now you are a 3-dimensional creature in this 11-dimesional universe, d= ue to string theory
Mayb= e once we directly detect multiverses/ can enter one of the multiverses in = the dimension of your choice, and in the dimension you want to become = =F0=9F=98=89?

If you are now an $n$-dimensional creature in an = $m$-dimensional universe, what kind of entertainment / political system is = available?

E.g., dancin= g is possible in this universe as this universe is of 3-spacial dimensional= , but might be unavailable in other dimensional universes, i.e., there may = be no gravitational force in other dimensional universes;
authoritarian regime is THE only avail= able possible political system in a $2$-dimensional universe, e.g., video g= ames such as Starcraft, but democracy [and the US adaptation of democracy] = is available [possible] in this universe as this universe is of $3$-spacial= dimensional.

-Justin


-Justin

On Friday, March 20, 2020 at 4:02:= 06 AM UTC-7, Anders M=C3=B6rtberg wrote:
The Department of Mathematics at Stockholm University invites
applications for PhD positions in Computational Mathematics. A
prospective student will have the opportunity to engage in exciting
research related to type theory, HoTT/UF, constructive mathematics,
programming language theory and category theoretic foundations.

The student will be part of the newly founded Computational
Mathematics division. It will also be possible to collaborate with
other groups in the department, such as the Mathematical Logic group
(with experts on constructive mathematics and type theory like Per
Martin-L=C3=B6f and Peter LeFanu Lumsdaine) and the Algebra, Geometry,
Topology, and Combinatorics group.

For further information and instructions on how to apply see

ht= tps://www.su.se/english/about/working-at-su/phd?rmpage=3Djob&= rmjob=3D11944&rmlang=3DUK

The deadline for application is April 23, 2020.

Some potential project ideas can be found at

https://www.math.su.se/<= wbr>english/education/phd-studies/research-projects/possible-rese= arch-projects-in-computational-mathematics-1.430102#m%C3%B6rtberg=

If you are interested in applying and have any questions feel free to
contact me!

--
Anders M=C3=B6rtberg <and...@math.su.se>
https://staff.math.su.se/anders.mortberg/

--
You received this message because you are subscribed to the Google Groups "= Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to HomotopyT...@googl= egroups.com.
To view this discussion on the web visit https://groups.googl= e.com/d/msgid/HomotopyTypeTheory/c5afec09-e5f5-4dd2-a0f7-bb9ca2368457%40goo= glegroups.com.
--Apple-Mail-A9258EC8-EAAF-4549-AD53-160D9B868907--