The h Bar

Does anyone mind if I advertise a math group dedicated to the study, construction, nomenclature, and usage of large numbers? We are the googologists, and I thought the topic might interest some of the common public.

Bernardo Meurer

@SimplyBeautifulArt You kind of just did

Simply Beautiful Art

@BernardoMeurer Nah, I didn't tell anyone how they can join and stuff

Bernardo Meurer

@SimplyBeautifulArt Discord link on your profile description

ACuriousMind

@SimplyBeautifulArt I'm amused by the idea that you expect to find "the common public" in this chat, but unless you intend to periodically spam us with said advertisement, I see no problem with you posting about it here once.

Simply Beautiful Art

Dang it, you are so good :P

@ACuriousMind Thanks mate

Bernardo Meurer

10:43 PM

@SimplyBeautifulArt Do you have space for someone interested in computing large numbers? I quite like arbitrary precision computation

Simply Beautiful Art

in This is the Realm of Simply Beautiful Art, yesterday, by Simply Beautiful Art

If anyone has Discord and wants to join people who study and play with large numbers:
https://discord.gg/k4kWXdT

ACuriousMind

@BernardoMeurer I don't think they have a supercomputer for you ;)

Simply Beautiful Art

@BernardoMeurer I have space for people who want to code large numbers on theoretical computers with infinite resources

Bernardo Meurer

@SimplyBeautifulArt Nah, I'm more about actually doing it, sorry :)

Simply Beautiful Art

:P

Bernardo Meurer

10:45 PM

@ACuriousMind Lend me yours please

I need to test my collatz implementation

ACuriousMind

I don't have one either!

Bernardo Meurer

Lies

Simply Beautiful Art

I have some random codes that always produce overflow errors but would produce decently large numbers if they ran

lol

@BernardoMeurer Pride kills people

Bernardo Meurer

@SimplyBeautifulArt I'm trying to implement Schonhage-Strassen using CuFFT in the backend for mass parallelization with GMP

Simply Beautiful Art

If you guys are a little interest and would like to have a brief talk on what you are getting into, I don't mind that as well

Bernardo Meurer

10:48 PM

Memory fragmentation might be an issue though

Simply Beautiful Art

@BernardoMeurer I'm not a programmer, so I have no understanding of what you are saying lol

Bernardo Meurer

@SimplyBeautifulArt Ah, lol, my bad

Simply Beautiful Art

I just know enough to produce decently sized numbers

Bernardo Meurer

Schonhage-Strassen: Algo for multiplying very large numbers. It requires many Fast Fourier Transforms

CuFFT a way to do Fast Fourier Transforms on the GPU instead of CPU (faster)

Simply Beautiful Art

@ACuriousMind If they had a supercomputer, it would collapse into a black hole when I run my code

Ah, nice

Bernardo Meurer

10:49 PM

GMP: A Library that lets you have numbers with arbitrary precision

Simply Beautiful Art

that's actually pretty interesting

@BernardoMeurer Arbitrary is not infinite

Bernardo Meurer

Nope, finite

Limited by how much memory you have :)

ACuriousMind

@SimplyBeautifulArt I know some physicists who would be very interested in that ;) Turning the computer into a black hole would be preferable to simulating one with it...from a safe distance.

Bernardo Meurer

But remember you can have 1TB of RAM nowadays

that's a pretty huge number to be stored

Simply Beautiful Art

@ACuriousMind has to do with the entropy of the stuff going poof

Jaime Gallego

10:51 PM

And so, MeurerAI's plans to access a supercomputer and dominate the world are again foiled

Simply Beautiful Art

Graham's number

Graham's number is an unimaginably large number that is a proven upper bound to the solution of a certain problem in Ramsey theory. It is named after mathematician Ronald Graham who used the number as a simplified explanation of the upper bounds of the problem he was working on in conversations with popular science writer Martin Gardner. Gardner later described the number in Scientific American in 1977, introducing it to the general public. The number was published in the 1980 Guinness Book of World Records which added to the popular interest in the number. Graham's number, although smaller than...

ACuriousMind

@JaimeGallego Don't worry, he still has his potatoes.

Simply Beautiful Art

@ACuriousMind Read the 'notes' section. My numbers are much larger than this

Bernardo Meurer

If only I could daisy-chain enough Texas calculators...

@SimplyBeautifulArt Hmmm, I think I might have something of interest to add

It involves CS theory, and it's a function that grows faster than any computable function

(it's non-computable)

Simply Beautiful Art

oh

Bernardo Meurer

10:53 PM

I can explain in length some other time

Simply Beautiful Art

Busy Beaver?

Bernardo Meurer

Yes

ACuriousMind

@SimplyBeautifulArt I'm very sceptical about everything that has to do with black holes and information after having heard several talks on that that made approximately zero sense, but then again, it's not exactly my area.

Bernardo Meurer

But more than that the connection of busy beaver to ZFC inconsistency

Simply Beautiful Art

Yeah, I know things way worse than BB function

@ACuriousMind lol

Hm, I probably know someone who knows what you are trying to say

but I don't do much ZFC and the like kind of stuff

@BernardoMeurer No idea if it'll interest you, but have you seen Loader's number?

@ACuriousMind Say, have I seen you somewhere? o.O

Bernardo Meurer

10:59 PM

@SimplyBeautifulArt Have not. Tell me

Simply Beautiful Art

I believe it is related to the calculus of constructs

ACuriousMind

@SimplyBeautifulArt How do you mean? If you've lurked around physics.SE chances are you've seen a post or comment from me.

Simply Beautiful Art

googology.wikia.com/wiki/Loader%27s_number

Bernardo Meurer

I'm reading it

Simply Beautiful Art

@ACuriousMind I'm usually on math.SE

Bernardo Meurer

11:00 PM

Holy cow

Simply Beautiful Art

@BernardoMeurer I work in a scary feild

Don't ask me to personally explain it for you

ACuriousMind

@SimplyBeautifulArt I'm rarely there, my posts there are just ones that got migrated from here. Not sure where else you could've seen me, the only other chat I frequent is the rpg.SE chat

Simply Beautiful Art

@ACuriousMind Hm, probably due to migration then

@ACuriousMind What're you into?

ACuriousMind

@SimplyBeautifulArt Everything quantum on the physics side, a smattering of most things except analysis on the math side. Currently mostly dealing with algebraic/complex geometry and M-theory.

Simply Beautiful Art

Interesting. I want to get into quantum and that kind of stuff one day

0celouvsky

11:18 PM

Everything quantum?

Most things?

@ACuriousMind I didn't know you liked number theory and complex analysis o.o

ACuriousMind

@0celouvsky Right, I forgot about number theory :P

0celouvsky

@ACuriousMind I didn't know you liked numerical methods

Simply Beautiful Art

lol, sometimes you run into random stuff @0celouvsky

ACuriousMind

@0celouvsky I do know a bit about numerically solving differential equations and such. It's actually quite interesting how to do that well, I just never messed with it beyond that one course on lattice QFT

Simply Beautiful Art

xD

@0celouvsky If you are interested in large numbers, please see my profile page

also, gotta eat, so cya guys

0celouvsky

11:25 PM

I'm not, although number theory is on my list of things to learn

analytic number theory, that is

@ACuriousMind My advisor said we won't do differential forms in measure theory because he doesn't want to explain exterior algebra

Instead we're doing Hausdorff measure which is just as well

I just thought it was funny because he's expecting people to understand forms for the next class