Coder Social home page Coder Social logo

geb's People

Contributors

qinglee avatar

Stargazers

 avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar  avatar

Watchers

 avatar  avatar  avatar

geb's Issues

可能是一处错误?

第2章, "双重意义"一节, pq系统里, 对p和q的另一个解释是 q 视作减, p视作等于, 但对应关系表格里写的仍然是 q 对应加

GEB/tex/chapter02.tex

Lines 121 to 130 in 783e5dc

\[
\begin{array}{r>{\iff}cl}
"p" & & \text{等于} \\
"q" & & \text{加}\\
- & & 1 \\
-- & & 2 \\
& \multicolumn1c{\text{等等}}
\end{array}
\]
那么$-----"q"--"p"---$就有了一个新的解释:“$5$$2$等于$3$”。当然这是一个真陈述。在这种新的解释之下,所有的定理都将是真理。这就像原来那个解释一样有意义。很显然,“哪一个是这个符号串的唯一意义?”就成了一个很愚蠢的问题。解释只要精确地反映现实世界的某种同构,就是有意义的。当现实世界中的不同方面彼此同构时(这里是说加法和减法),一个形式系统可以与这两者都同构,因此可以有两种被动意义。这种符号和符号串的二值性是一个极其重要的现象。在这里,它似乎是不足道的、奇怪的、令人恼火的。但是,在以后更深入的讨论中,它还会再次出现,并带来极丰富的内容。

我在编译时遇到的几个问题,不知道是我这里latex编译的问题还是cls文件的bug

平台:windows
软件版本:texlive2020 4月发行版
遇到的问题:

  1. hyperxmp版本过低,更新到最新版本才没报错。
  2. 各种方正字体,当然这是我本机没有安装字体。
  3. 编译提示\zref@newprop没有定义,我在\RequirePackage命令里追加了zref之后才没有报错。
  4. 上面问题解决后,虽然最后的pdf编译出来了,但还是有大量的错误提示
Package hyperref Warning: Rerun to get /PageLabels entry.

ABD: EveryShipout initializing macros
\openout2 = `tex/frontcover.aux'.

 (./tex/frontcover.tex)
! Missing number, treated as zero.
<to be read again> 
                   \c@abspage 
l.11 \include{tex/frontcover}
                             
A number should have been here; I inserted `0'.
(If you can't figure out why I needed to see a number,
look up `weird error' in the index to The TeXbook.)

! Missing = inserted for \ifnum.
<to be read again> 
                   \c@abspage 
l.11 \include{tex/frontcover}
                             
I was expecting to see `<', `=', or `>'. Didn't.

! Missing number, treated as zero.
<to be read again> 
                   \c@abspage 
l.11 \include{tex/frontcover}
                             
A number should have been here; I inserted `0'.
(If you can't figure out why I needed to see a number,
look up `weird error' in the index to The TeXbook.)

! Missing number, treated as zero.
<to be read again> 
                   \KVS@MaybeBreak 
l.11 \include{tex/frontcover}
                             
A number should have been here; I inserted `0'.
(If you can't figure out why I needed to see a number,
look up `weird error' in the index to The TeXbook.)

! Illegal unit of measure (pt inserted).
<to be read again> 
                   \KVS@MaybeBreak 
l.11 \include{tex/frontcover}
                             
Dimensions can be in units of em, ex, in, pt, pc,
cm, mm, dd, cc, bp, or sp; but yours is a new one!
I'll assume that you meant to say pt, for printer's points.
To recover gracefully from this error, it's best to
delete the erroneous units; e.g., type `2' to delete
two letters. (See Chapter 27 of The TeXbook.)

File: figures/frontcover.jpg Graphic file (type bmp)
<figures/frontcover.jpg>
[1


]
\openout2 = `tex/tiltepage.aux'.

 (./tex/tiltepage.tex [2
]

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.