User:Nyngwang - Wikiwand

“

Do not seek to follow in the footsteps of the wise; seek what they sought.

”

Hello world

Hi, I'm Ning Wang. I hold a master's degree in computer science and information engineering. (I just tried to convey that I will treat my edits seriously.)

I'm a new contributor of Wikipedia pages.
- If you're an experienced user and have any suggestion regarding the conventions I failed to adopt, please let me know through my Talk page. Thank you!
I'm currently interested contributing in these topics: logics, computer science, and mathematics.
- I'm open to any suggestion regarding my edits on these topics.
- I had fun solving & asking questions in combinatorics years ago. So maybe I will take a look at the related pages in the future.

admire

manifest

Philosophy
- Symbol grounding problem: just reading it.
- Meaning (philosophy): just reading it.
- Algorithm characterizations: to-read.
Mathematics (pure)
Theory of computation/
- Chomsky hierarchy: just reading it.
  - Recursive language: Intro, Def; (computable set, (computable function)), (primitive recursive function, to-read), (general recursive function, to-read)
- Computational problem
  - Decision problem: todo: sections {comp,func,opti}-problems; (Effective method, !)
  - (Search problem, !)
- Many-one reduction
- Feasible region
Computational complexity theory/
- Time hierarchy theorem
Formal languages/
- Formal language: Intro, Definition.
- Alphabet (formal languages): Notation.
- Non-logical symbol: nothing done yet.
- Formal grammar: Definition, (Non/terminal symbols, done)
  - Rewriting: Logic.
    - Logical equivalence: just reading it.
- Formation rule: Intro.
  - Term (logic): nothing done yet.
Semantic theory of truth: just reading it.
- Problem of multiple generality: Intro.
- Interpretation (logic): Intro.
- Truth condition: Intro.

graveyard

Symbol (formal): philosophical idea, abstract idea, hard to define.
Effective method: informal term (should focus on "effective").
Search problem: lack of references and examples.

random/fun

IR/UV mixing

TIL

The other side of a Wiki page, sometimes, also provides some valuable information to learn.
How to use wiki Watchlist for tracking people's responses.
Set theory is incredible in that it covers true/false without saying it explicitly.
How to link a Category wiki-page.
How to create a decent (in CS sense) footnote, which is available for copy-pasting below. See also.

Ctrl-C-V Realm

{{more references|date=NAME_MONTH YYYY}}
{{more footnotes needed|date=NAME_MONTH YYYY}}

<ref group="note" name="fox"/>

{{reflist|group=note|refs=
<ref name="fox">The quick brown fox jumps over the lazy dog, cf. [[#dog|dog]]).</ref>
}}

“

When I am working on a problem, I never think about beauty. I think only of how to solve the problem. But when I have finished, if the solution is not beautiful, I know it is wrong.

”

— Buckminster Fuller

Related Articles