/sci/ - Science & Math » Thread #11640942

84KiB, 1135x906, set_notation.jpg

View Same Google iqdb SauceNAO

Anonymous Tue 05 May 22:26:15 2020 No.11640942 View Reply Original Report

Quoted By: >>11640988 >>11642859 >>11643335 >>11643578 >>11644132

I hate working on paper and this traditonal notation.
Is there something equivalent to a python console for traditional math notation?
I'm not looking for answers, i just find this paper shit too loosey goosey. I would like to use some machine interpreter to check my answers.

Anonymous

Anonymous Tue 05 May 2020 22:38:38 No.11640978 Report

Quoted By:

Python list comprehensions look very similar to set builder notation:

[1 + (-1)^n for n in N]

Anonymous

Anonymous Tue 05 May 2020 22:42:00 No.11640988 Report

Quoted By:

>>11640942
whats wrong with set builder? Even 1st graders use it

Anonymous

View Same Google iqdb SauceNAO matlab_logo.jpg, 46KiB, 1222x900

Anonymous Wed 06 May 2020 06:21:24 No.11642178 Report

Quoted By: >>11642765

Would be nice to have a compiler that works with mathematical definitions. So I can tell it Z+ (positive integers).
One would think math cucks would develop something like that. Does Wolfram not have a compiler?
I looked at Matlab and it has some homosexual notation - not classic math, not programming, it's ugly some ugly bodge.
Maybe the question I should have asked is:
What software (including iOS/Android apps) does /sci use?

Anonymous

Anonymous Wed 06 May 2020 13:15:08 No.11642765 Report

Quoted By:

>>11642178
z = [1..] is all positive integers in Haskell, it uses lazy evaluation so you don't need to worry about the set going on forever
Haskell also uses a lot of notation derived from set theory

Anonymous

Anonymous Wed 06 May 2020 13:54:36 No.11642859 Report

Quoted By: >>11644165

>>11640942
How is a good math program not just free on line. I mean all CS is math. Mathematicians are huge idealists. Why isn’t there loads of (good) open source math programs that do a lot of stuff

Anonymous

Anonymous Wed 06 May 2020 17:04:49 No.11643335 Report

Quoted By: >>11644193

>>11640942
Lean theorem prover

Anonymous

Anonymous Wed 06 May 2020 18:14:41 No.11643578 Report

Quoted By: >>11643585

>>11640942
var S = {z | (z in C) and (zeta(z)==0) and (Im{z} != 1/2)}.
console.log(isempty(S)) // ez melon dollars

Obviously this console can't exist without serious restrictions.

Anonymous

Anonymous Wed 06 May 2020 18:16:17 No.11643585 Report

Quoted By:

>>11643578
Should've googled, meant to say Re(z) != 1/2

Anonymous

Anonymous Wed 06 May 2020 21:24:59 No.11644132 Report

Quoted By:

>>11640942
try coq

Anonymous

Anonymous Wed 06 May 2020 21:37:58 No.11644165 Report

Quoted By:

>>11642859
probably because most of the stuff is not worth working on and releasing as a stand-alone project so people just end up reinventing the wheel every time they need it, many people would rather do that than adopt an existing library in fact if it's anything harder than linalg and basic numerics, especially if they're older

Anonymous

Anonymous Wed 06 May 2020 21:48:36 No.11644193 Report

Quoted By:

>>11643335
while lean is a best effort project, lean fucking sucks.
source: i have over 2000 lines to secure a few basic theorems

Capcode	All Only User Posts Only Moderator Posts Only Admin Posts Only Developer Posts
Show Posts	All Only With Images Only Without Images
Deleted Posts	All Only Deleted Posts Only Non-Deleted Posts
Ghost Posts	All Only Ghost Posts Only Non-Ghost Posts
Post Type	All Only Sticky Threads Only Opening Posts Only Reply Posts
Results	All Grouped By Threads
Order	Latest Posts First Oldest Posts First

Your latest searches