[ 3 / biz / cgl / ck / diy / fa / g / ic / jp / lit / sci / tg / vr ] [ index / top / reports / report a bug ] [ 4plebs / archived.moe / rbt ]

Maintenance is complete! We got more disk space.
Become a Patron!

# /sci/ - Science & Math

## Search:

[ Toggle deleted replies ]
 >> Anonymous Tue Dec 31 08:06:08 2019 No.11266435 [View] File: 217 KB, 347x344, critical.png [View same] [iqdb] [saucenao] [google] [report] >>11265835>Extensive knowledge of the Riemann Zeta Functionunneeded.Jokes aside, the first 3 points are literally just the context in which the problem is already in, so there's no way around them. I'd guess it's probably related to some ugly independence result.If it has a modern proof at all, i.e. something along the lines of how all the other versions of the =1/2 statement for the other popular Zeta functions have been proven, i.e.https://en.wikipedia.org/wiki/Weil_conjectures#Statement_of_the_Weil_conjecturesthen yes, you need a category theory (and a lot more specific things using that language)
 >> Anonymous Mon Apr 22 18:47:51 2019 No.10581777 [View] File: 217 KB, 347x344, critical.png [View same] [iqdb] [saucenao] [google] [report] It's the proposition you get from anti-social autists when the try to imagine a world where their status might be a little bit elevated, without knowledge of or through for human interaction otherwise.It's cringe
 >> Anonymous Mon Feb 27 07:01:46 2017 No.8707219 [View] File: 217 KB, 347x344, critical.png [View same] [iqdb] [saucenao] [google] [report] >>7708352If by "analysist" you mean a guy who's studying classical analysis, then the question has probably no answer. Dropping non-constructive axioms of your theories becomes relevant, for example, whenever you got to implement stuff. As you can't even list the element of $\mathbb R$, theorems in classical analysis will be vacuous for such realization. The good news is that people have spun the spiderwebs of theories like analysis in a constructive fashion long ago, see for example all the constrictive theorems that aggregate around the unprovable intermediate value theoremhttps://en.wikipedia.org/wiki/Constructive_analysis#ExamplesSyntetic analysis as in the pic from the book by Kock is relevant because the requirements for the theory are such that certain topoi give you internal analysis as a gift. That is you consider some topos, check if it has this and that property and then it might be implied that that topos really is about calculus/contains a theory of calculus and you can import all the theorems you already know - I mean that's the nice feat of category theory in general. The category of sets $A, B, C,...$ (=objects) and functions $f, g ,h,...$ (=arrows) is a topos and thus has cartesian product $A\times B$ (=the categorical product) and function spaces $B^A$ (=internal, setty realizations of the arrow class from $A$ to $B$, which may be written $A \to B$)A theorem of sets is that the function space$(A\times B) \to C$is isomorphic to$(B\times A) \to C$as well as$A \to C^B$and$B \to C^A$E.g. for A=B=C the reals the first space contains$\langle a,b \rangle \mapsto \sin(a)+3b$which you can systematically map to the function$\langle b,a \rangle \mapsto \sin(a)+3b$
 >> Anonymous Wed Aug 17 17:22:17 2016 No.8278504 [View] File: 217 KB, 347x344, critical.png [View same] [iqdb] [saucenao] [google] [report] I'm pretty sure JavaScript Front end developer, IT guys and server maintenance people are all counter to "Computing Jobs" there - it shouldn't be put against science there.Besides, imho university shouldn't be seen only as job education. Surely, if you want to get something out of life it's fair if you're going to study Physics or Biology out of interest, while learning SQL isn't something you'd do as whole-heartedly.
 >> Anonymous Wed May 18 16:02:15 2016 No.8083707 [View] File: 217 KB, 347x344, critical.png [View same] [iqdb] [saucenao] [google] [report] >engineering degree>maths
 >> Anonymous Thu Jan 7 19:42:50 2016 No.7768694 [View] File: 217 KB, 347x344, critical.png [View same] [iqdb] [saucenao] [google] [report] $\frac {1} {\sqrt x} - \frac {1} {\sqrt (x^2+x)}$$= \frac {1} {\sqrt x} \left( 1 - \frac {1} {\sqrt (1+x)} \right)$$= \frac {1} {\sqrt x} \left( 1 - \left( 1 - \frac{x}{2} + O(x^2) \right) \right)$$= \frac {\sqrt x} {2} + O(x^{3/2})$
 >> Anonymous Thu Jan 7 19:40:34 2016 No.7768690   [View] File: 217 KB, 347x344, critical.png [View same] [iqdb] [saucenao] [google] [report] $\frac {1} {\sqrt (x)} - \frac {1} {\sqrt (x^2+x)}$$= \frac {1} {\sqrt (x)} \left( 1 - \frac {1} {\sqrt (1+x)} \right)$$= \frac {1} {\sqrt (x)} \left( 1 - \left( 1 - \frac{x}{2} + O(x^2) \right) \right)$$= \frac {1} {\sqrt (x)} \left( \frac{x}{2} + O(x^2) \right)$$= \frac {\sqrt (x)} {2} + O(x^{3/2})$
 >> Anonymous Wed Dec 30 16:16:46 2015 No.7753069 [View] File: 217 KB, 347x344, critical.png [View same] [iqdb] [saucenao] [google] [report] $X_t = X_0 + \int_0^t \mu_s(X_s, s)\, ds + \int_0^t \sigma_s(X_s, s) \, dW_s$

 Navigation View posts [+24] [+48] [+96]