[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]

2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Text search [?]Place a | in between expressions to get one of them in results, e.g. tripcode|email to locate posts that contain either the word tripcode or email in them.
Place a - before a word to exclude posts containing that word: -tripcode
Place quotes around phrases to find pages containing the phrase: "I am a filthy tripcode user" [ Advanced ]

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 ]

View post

File: 3 KB, 233x90, snip.png [View same] [iqdb] [saucenao] [google]

Anonymous Thu Jun 23 14:03:21 2022 No.14596279 [Reply] [Original]

if logic became a part of maths, can syntax, morphology and grammar become parts of maths too?

>>	Anonymous Thu Jun 23 16:42:35 2022 No.14596595 >>14596279 Already is, formal syntax, akin to formal logic. However, this is part the problem of establishing how closely is computer science linked to mathematics.

>>	Anonymous Thu Jun 23 18:15:15 2022 No.14596846 is it weird for a CS major to never take theory of computation?