/sci/ - Science & Math

>>16079223
How do I study introductory Type Theory before I look in this?

>>16005488
I'm not sure what you are talking about? I am just operating numbers.

>>15979611
>AI just produce intelligence, they aren't intelligent themselves
What is the difference?

>>15976836
Thank you for posting this. I can make something similar in MAID-LISP like this:

flipFlopF-: 5 "F " flipFlopT;
flipFlopT-: 5 "T " flipFlopF;

horseFlopT-: 5 "T " ${"horseFlopF"};
horseFlopF-: 5 "F " ${"horseFlopT"};

flipFlop(x)-: 10 *x " " flipFlop(not(*x));

start: flipFlopT lb flipFlop("T") lb horseFlopT;

lb: "
";

And it will print:
T F T F T F T F T F
T F T F T F T F T F
T F T F T F T F T F

But it isn't making a list like your emacs code made lists. It is building a string and has no ability to look back at any of the strings, see the last value was F and then make T.

>>15977157
I have no idea what this means.

>>15950579
Do you have an actual answer or is your whole personality just based on snark and an unearned sense of superiority?

If the Collatz Conjecture is true, what does that mean? If it is true, are there any interesting implications of it being true, or is it just an interesting problem?

>>15900685
How do I make a code block to share a computer program written in java?

>>15920991
Why do people post this on my threads?

>>15885775
Why are you doing this? Why did you make GPT-MaidPoster?

>>15865539
>Perceived multi-day experiences in a night's worth of rest opens a real pandora's box I'm not sure humanity could cope with.
How so?

>>15865558
Is this a bot? I see this exact same post on a lot of random threads.

>>15848092
Germany has maids? I didn't know this. Is there a history of German maids? A specific styling to a German maid dress? What is the history of maids in Germany? Is there a German maid hat and she just isn't wearing it or do Germans not have their maids wear hats?

>>15845346
Are you saying Magic Squares have Universal Computation?

>>15824395
This doesn't really answer the question. If reality is a consequence of my thoughts, then shouldn't I be able to do this? Shouldn't I be able to think that person into being or doing whatever I want, or even think them out of existing if I feel like it? Changing someone else's thoughts would be a minor change to reality compared to thinking them out of existence or being noncorporeal and spending a billion years in a void to think.

>>15824410
I have never heard of this person. I was never exposed to the concept of idealism before coming to /sci/.

>>15823411
>set can contain itself instead of merely be itself
What is the distinction?

Good Afternoon /Sci/entists!

I was watching cars get smashed by a machine and hotdog man came and gave me a free hotdog and a free beer.

I ate the hotdog and it was the best thing I have ever eaten. It was not only the best hotdog, it was the best anything.

Now, every time I get a hotdog I remember the peak hotdog and am slightly disappointed. I also frequently find myself thinking about the hotdog before other meals, even meals unrelated to the hotdog because I know it won't be as good as the hotdog was.

I ate this hotdog in 1986.

Is there a name for this effect? How does it work? Can it be intentionally engineered into something?

Thank you /Sci/entists for reading my post.