/sci/ - Science & Math

File: 1.94 MB, 397x287, lA8xP13.gif [View same] [iqdb] [saucenao] [google]

Anonymous Wed Mar 13 18:37:22 2013 No.5607241 [Reply] [Original]

Is computer science a subset of math, or is math a subset of computer science?

>>	Anonymous Wed Mar 13 18:39:32 2013 No.5607250 1/10 for trying

>>	Anonymous Wed Mar 13 18:41:33 2013 No.5607257 >>5607250 Serious question please respond

>>	Anonymous Wed Mar 13 18:42:03 2013 No.5607261 File: 104 KB, 316x255, 1363162328822.png [View same] [iqdb] [saucenao] [google] >>5607257

>>	Anonymous Wed Mar 13 18:51:33 2013 No.5607291 >>5607261 Please respond

>>	Anonymous Wed Mar 13 18:53:03 2013 No.5607294 OP, is physics real? Then prove it. yeah fuck off.

>>	OP Wed Mar 13 18:58:18 2013 No.5607306 >>5607294 Can you please answer my question?

>>	OP Wed Mar 13 19:07:02 2013 No.5607323 Come on /sci/

>>	None !3BananaXFw Wed Mar 13 19:15:18 2013 No.5607341 >>5607323 why do you want to know they're human-defined fields

>>	OP Wed Mar 13 19:16:32 2013 No.5607344 >>5607341 Can all of math be embedded into computer science or vice versa?

>>	Anonymous Wed Mar 13 19:20:03 2013 No.5607355 A mathematician can do circles around a computer science major. comp sci is a subset of math 1/10 for the effort

>>	OP Wed Mar 13 19:22:04 2013 No.5607360 >>5607355 Not the major. Just asking about everything in the field.

>>	None !3BananaXFw Wed Mar 13 19:27:47 2013 No.5607370 >>5607360 they are both subsets of logic

>>	OP Wed Mar 13 19:32:48 2013 No.5607386 >>5607370 Logic isn't a part of math?

>>	Anonymous Wed Mar 13 19:33:32 2013 No.5607392 >>5607386 Logic is phylosophy.

>>	OP Wed Mar 13 19:37:02 2013 No.5607400 >>5607392 Aren't there many different kinds of logics? Wouldn't they all be part of mathematical logic?

>>	None !3BananaXFw Wed Mar 13 19:38:03 2013 No.5607406 >>5607400 wikipedia.org will solve all your problems look up math, logic, and computer science cheers

>>	Anonymous Wed Mar 13 19:39:34 2013 No.5607407 >>5607400 their are to kinds of logix, athiest logic and xtian logic. xtian logic is retraded

>>	OP Wed Mar 13 19:39:34 2013 No.5607409 >>5607406 I just want to know if everything contained in mathematics can be done in computer science. Is mathematics computable?

>>	OP Wed Mar 13 19:40:32 2013 No.5607412 >>5607410 What kind of logic?

>>	Anonymous Wed Mar 13 19:40:47 2013 No.5607410 CS is a subset of logic. Math is also a subset of logic.

>>	Anonymous Wed Mar 13 19:41:17 2013 No.5607413 >>5607241 The best 'computer scientists' I know are electrical engineers

>>	Anonymous Wed Mar 13 19:41:17 2013 No.5607415 >>5607409 U're mom is not computable becuz she's too fat.

>>	Anonymous Wed Mar 13 20:04:02 2013 No.5607486 >>5607413 Then you probably don't know what computer science is.

>>	Anonymous Wed Mar 13 20:05:18 2013 No.5607491 >>5607486 Nobody knows what it is. Everyone mistakes it for something it isn't. Tell me what it is and I'll tell you why you're wrong.

>>	Anonymous Wed Mar 13 20:09:02 2013 No.5607501 >>5607491 I...I don't even know anymore I just wanted to make video games ;____;

>>	Anonymous Wed Mar 13 20:10:32 2013 No.5607508 >>5607409 No. Ex: http://en.wikipedia.org/wiki/Specker_sequence

>>	Anonymous Wed Mar 13 20:13:03 2013 No.5607514 >>5607486 I know people with multiple Microsoft Patents. Is that close?

>>	Anonymous Wed Mar 13 20:14:18 2013 No.5607519 >>5607508 >implying infinite sets exist Where's your evidence?

>>	Anonymous Wed Mar 13 20:22:49 2013 No.5607543 >>5607519 doesn't matter whether the infinite set 'exists' you can't compute the supremum

>>	Anonymous Wed Mar 13 20:26:47 2013 No.5607556 >>5607543 Are you 15?

>>	Anonymous Wed Mar 13 20:27:18 2013 No.5607559 >>5607241 Wow sorry for the OT but what the fuck is with that .gif and whered you find it?

>>	None !3BananaXFw Wed Mar 13 20:29:47 2013 No.5607566 >>5607559 spongebob flying dutchman episode

Anonymous Wed Mar 13 20:32:47 2013 No.5607576

Not enough information to respond.
Define mathematics.
A specific formal system? The study of formal systems? Any formal system that can prove a selected choice of statements?
Define computability of mathematics.
An algorithm that computes a proof value of a statement when it exists? No, see below, proof values are a superset of truth values.
An algorithm that computes the truth value of a statement? Not all statements have truth values in all formal systems. The axiom of choice has no truth value in ZF.
A formal system that can prove exactly the provable statements of what you decided mathematics is and has a reduction relation? Probably.

Anonymous Wed Mar 13 20:35:17 2013 No.5607585

They are subsets of each other. Neither is a strict subset of the other.

Math is the study of structure in abstract. Computer science is the study of process in abstract.

Process has structure. Structure is generated by process. Study of one includes study of the other.

The difference between mathematics and computer science is just which side you decide to come at it from.

>>	Anonymous Wed Mar 13 20:37:18 2013 No.5607592 >>5607576 The axiom of choice is a pseudo-mathematical fantasy game.

>>	Anonymous Wed Mar 13 20:37:33 2013 No.5607595 >>5607241 >infantile cartoon

>>	Anonymous Wed Mar 13 20:43:18 2013 No.5607613 >>5607592 The existence of the number one has no truth value in Frege arithmetic. Happy now?

>>	Anonymous Wed Mar 13 20:46:32 2013 No.5607621 >>5607613 >inconsistent pseudo-math

>>	Anonymous Wed Mar 13 20:48:03 2013 No.5607622 >>5607613 The number one is a pseudo-mathematical fantasy game. Two can be as bad as one, but the most pseudo-mathematical fantasy game is the number one.

>>	Anonymous Wed Mar 13 20:48:03 2013 No.5607623 >>5607355 Yes, yes he can. He can do it all day long simply because he has no job.

>>	Anonymous Wed Mar 13 20:49:33 2013 No.5607626 >>5607622 >>5607621 The existence of anything in the system with the empty set of axioms. What about now, faggot? Also, don't bump shitty threads.

>>	Anonymous Wed Mar 13 20:52:17 2013 No.5607636 >>5607626 Trivially false.

>>	Anonymous Wed Mar 13 20:55:48 2013 No.5607648 >>5607636 Therefore trivially not false → trivially true. Your move.

>>	Anonymous Wed Mar 13 20:56:32 2013 No.5607652 >>5607648 Non-sequitur.

Advanced search
Text to find
Subject [?]Search by post subject. Leave empty for any.
Username [?]Search for user name. Leave empty for any user name.
Tripcode [?]Search for tripcode. Leave empty for any.
Email [?]Search by email. Leave empty for any.
Filename [?]Search by image filename. Leave empty for any.
From Date [?]Enter what date to start searching from. Format is YYYY-MM-DD
To Date [?]Enter what date to start searching until. Format is YYYY-MM-DD
Image hash
Search in	All Posts OPs Only
Deleted posts	Show all posts Show only deleted posts Only show non-deleted posts
Internal posts	Show all posts Show only internal posts Show only archived posts
Order	New posts first Old posts first
Capcode	All Posts Only by Users Only by Mods Only by Admins Only by Developers
Results	Posts Threads
Action	[ Simple ]